UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

CAPITULO 2 ALGEBRA DE CONMUTACION

(lgebra de Boole)

INTRODUCCIN
En 1854, George Boole public una obra titulada Investigacin de las leyes del pensamiento, sobre las que se basan las teoras matemticas de la lgica y la probabilidad. En esta publicacin se formul la idea de un algebra de las operaciones lgicas ", que se conoce hoy en da como lgebra de Boole. El lgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lgicos. Claude Shannon fue el primero en aplicar la obra de Boole al anlisis y diseo de circuitos. En 1938, Shannon escribi su tesis doctoral en el MIT (Massachussets Institute of Technology) titulada Anlisis simblico de los circuitos de conmutacin y rels. Este captulo se ocupa de las leyes, reglas y teoremas del lgebra booleana y sus aplicaciones a los circuitos digitales. Se aprender a definir un circuito mediante una expresin booleana y a determinar su funcionamiento. Tambin se tratar la simplificacin de los circuitos lgicos utilizando el lgebra booleana ,los mapas de Karnaugh. y el procedimiento tabular de Quine-MacCluskey.

POSTULADOS FUNDAMENTALES
1.Existen Variables que slo pueden tomar uno de dos valores, 0 1. Es decir x 0 si y slo si x = 1 x 1 si y slo si x = 0 El Algebra de Conmutacin es un sistema algebraico que consiste del conjunto [0,1] y tres operaciones llamadas: OR ( + ) AND ( ) NOT ( ' ) Que se DEFINEN como: Operacin OR 0+0=0 0+1=1 1+0=1 1+1=1 Operacin AND 0 0 1 1 0=0 1=0 0=0 1=1 Operacin NOT 0' = 1 1' = 0

2.-

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

PROPIEDADES BASICAS
IDEMPOTENCIA:
Algunos corolarios: x+1=1 x0 = 0 x+0 = x x 1 = x x+x=x x x=x

CONMUTATIVIDAD:

x+y = y+x xy = yx

ASOCIATIVIDAD:

(x+y)+z = x+(y+z) (xy) z = x(yz)

COMPLEMENTACION:

x + x' = 1 x x' = 0

DISTRIBUTIVIDAD:

x(y+z)=xy+xz x + y z = ( x + y )( x + z )

Prueba de la Distributividad Tabla de verdad xyz 000 001 010 011 100 101 110 111 xy 0 0 0 0 0 0 1 1 xz 0 0 0 0 0 1 0 1 y+z 0 1 1 1 0 1 1 1 x(y + z) 0 0 0 0 0 1 1 1 xy + xz 0 0 0 0 0 1 1 1

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

PRINCIPIO DE DUALIDAD
Si a una expresin se intercambian las operaciones OR y AND y se reemplazan las constantes 0 y 1 por 1 y 0 respectivamente, la expresin resultante se le conoce como LA EXPRESION DUAL.

EXPRESION DE CONMUTACION
Expresin de Conmutacin es la combinacin de un nmero finito de variables de conmutacin (x, y, etc.) y constantes (0,1) de conmutacin relacionadas por medio de las operaciones de conmutacin.

ABSORCION:

x + xy = x x( x + y ) = x

Algunos corolarios tiles x + x'y = x + y x(x' + y) = xy

CONSENSO:

xy + x'z + yz = xy + x'z (x + y)(x' + z)(y + z) = (x + y)(x' + z)

Ejemplo: Simplificar la expresin T(x,y,z) = x'y'z + yz + xz eliminando literales redundantes.

TEOREMAS DE MORGAN
Gobiernan operaciones de Complementacin 1.- Involucin 2.- Dos variables 3.- n variables [ f (x1 ,x2 , ......,xn ,0,1,+, ) ]' = f (x1' , x2' ,.....xn' ,1,0, ,+) Ejemplo: Simplificar la expresin T(x,y,z) = ( x + y ) [ x' ( y' + z' ) ]' + x'y' + x'z' ( x' )' = x ( x+ y )' = x' y' ( x y )' = x' + y'

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

FUNCION DE CONMUTACION
Una funcin de conmutacin f (x1 , x2 ,....,xn ) es una correspondencia que asocia un elemento del algebra ( 0 1 ) a cada una de las 2n combinaciones de valores de las variables x1 , x2 , ...., xn. La funcin de conmutacin la podemos expresar por medio de una expresin de conmutacin o por medio de una tabla de verdad. X y z Por ejemplo: Tabla de verdad para T(x,y,z) = x'z + xz' + x'y' 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 T 1 1 0 1 1 0 1 0

FORMAS CANONICAS
Existen dos formas: Expresin cannica suma de productos y Expresin cannica producto de sumas Por ejemplo Decimal 0 1 2 3 4 5 6 7 x y z 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 F 1 0 1 1 0 0 1 1 x y z' xyz x' y z' x' y z ( x' + y + z ) ( x' + y + z' ) Minterms x' y' z' ( x + y + z' ) Maxterms

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

f (x,y,z) = x' y' z' + x' y z' + x' y z + x y z' + x y z =(0,2,3,6,7)

f (x,y,z) = ( x + y + z' )( x' + y + z )( x' + y + z' ) = (1,4,5)

FUNCIONES DE DOS VARIABLES

f (x,y) 0 x'y' x'y x' xy' y' x'y + xy' x' + y' xy xy + x'y' y x' +y x x + y' x+y 1 OR xy (x y )' AND NOT

Nombre Inconsistencia ( x + y )' NOR

OR-EXCLUSIVO NAND

(x y )' NOR-EXCLUSIVO

TAUTOLOGIA

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

COMPUERTAS BASICAS

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

EJEMPLOS DE FUNCIONAMIENTO
Funcionamiento compuerta AND

Funcionamiento compuerta OR

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

Funcionamiento compuerta NAND

Ejemplo de utilizacin Una planta de fabricacin utiliza dos tanques para almacenar un lquido qumico que se requiere en un proceso de fabricacin. Cada tanque dispone de un sensor que detecta cundo el nivel del lquido cae al 25% del total. Los sensores generan una tensin de 5 V cuando los tanques estn llenos por encima del 25%. Cuando el volumen de lquido en el tanque cae por debajo del 25%, el sensor genera un nivel de 0 V. En el panel indicador se requiere un diodo emisor de luz (LED, light-emitting diode) verde que indique que el nivel de ambos tanques est por encima del 25%. Como se indica, se puede utilizar una puerta NAND para implementar esta funcin.

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

Funcionamiento compuerta NOR

Ejemplo de uso Como parte del sistema de monitorizacin funcional de un avin, se requiere un circuito para indicar el estado del tren de aterrizaje antes de tomar tierra. Se enciende un LED verde si los tres mecanismos de aterrizaje estn correctamente extendidos cuando el interruptor para "bajar el tren de aterrizaje" se ha activado. Un LED rojo se enciende si cualquiera de los mecanismos falla al extenderse antes de aterrizar. Cuando uno de los mecanismos se extiende, el sensor correspondiente genera una tensin a nivel BAJO. Cuando uno de los mecanismos del tren de aterrizaje se retrae, su sensor genera una tensin a nivel ALTO. Implementar un circuito que cumpla estos requisitos.

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

10

IMPLEMENTACION DE FUNCIONES

MINIMIZACION DE FUNCIONES DE CONMUTACIN

La manera ms comn para determinar un criterio de costo es el definir como expresin mnima producto de sumas o expresin mnima suma de productos a las siguientes. Que posean: Mnimo nmero de productos ( o sumas ) y Mnimo nmero de literales por producto ( o suma)

Esto implica realizaciones de circuitos con la menor cantidad de compuertas AND y OR y la menor cantidad de entradas a cada compuertas

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

11

Ejemplo:

Haciendo uso de la propiedad Aa+Aa' = A Como poder saber si no existe otra expresin suma de productos con menor cantidad de productos y menor cantidad de literales por producto ? Para dar respuesta a esta pregunta estudiaremos dos mtodos que hacen uso de la propiedad Aa + Aa' = A y que permiten encontrar expresiones mnimas tanto de suma de productos como de producto de sumas.

MAPAS DE KARNAUGH

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

12

PROCEDIMIENTO DE MINIMIZACION

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

13

DEFINICIONES
Celdas Vecinas Dos celdas se dice que son vecinas si entre los vrtices que representan existe slo una variable que cambia Subcubo Un subcubo es una coleccin de celdas vecinas donde la funcin vale 1 y representa un producto de literales. Subcubo Mximo Subcubo mximo es un subcubo que no est contenido en ningn otro subcubo mayor y representa un producto con el menor nmero de literales. El procedimiento de minimizacin por medio de los mapas de Karnaugh se circunscribe entonces a : 1.- Encontrar los subcubos mximos de la funcin y 2.- Sumar los productos de la menor cantidad de subcubos mximos que cubran todos los unos de la funcin.

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

14

DEFINICIONES
Subcubo Mximo Esencial Un subcubo mximo es esencial, si cubre a lo menos un vrtice de la funcin, que no est cubierto por ningn otro subcubo mximo Subcubo Mximo Redundante Un subcubo mximo es redundante, si TODOS los vrtices que cubre, estn cubiertos por otros subcubos mximos

CONSECUENCIAS
Un subcubo mximo esencial SIEMPRE participa de la expresin mnima. Si TODOS los subcubos mximos de la funcin son esenciales, entonces existe una nica expresin mnima EN CAMBIO, si una funcin tiene una nica expresin mnima, NO necesariamente todos sus subcubos mximos son esenciales. (Vea el ejemplo anterior).

Si TODOS los subcubos mximos de una funcin son Redundantes entonces la funcin tiene a lo menos dos expresiones mnimas

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

15

OTROS EJEMPLOS

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

16

DON'T-CARES
Existen ocasiones en que para ciertas combinaciones de valores de entrada no importa cual sea el valor de la funcin, por lo que son varias las funciones que pueden satisfacer el problema. En tal caso, a esos vrtices se les denomina posiciones "Don't-Cares"

PROCEDIMIENTO
1- Formar los subcubos mximos suponiendo todos los "don't-cares" como unos. 2.- Elegir la menor cantidad de subcubos mximos que cubran los unos de la funcin

EJERCICIO
Disear un conversor de cdigos de BCD a Exceso a 3

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

17

EXPRESIONES MINIMAS PRODUCTO DE SUMAS

Expresiones mnimas producto de sumas se obtienen, usando los mapas de Karnaugh, de una manera similar a la obtencin de expresiones mnimas productos de sumas. La diferencia est, en que los subcubos se forman considerando los vrtices donde la funcin vale cero. Cada subcubo representa, en este caso, la suma de literales.

FUNCIONES MINIMAS Y SUS PROPIEDADES

COBERTURA
Una funcin de conmutacin f( x1,....., xn ) se dice que cubre a otra funcin g( x1,....., xn ) si f toma el valor 1 cuando g lo hace.

IMPLICANTE PRIMO
Un implicante p de una funcin f es un producto de literales que est cubierto por f, tal que la eliminacin de cualquier literal desde p resulta en un nuevo producto que no est cubierto por f.

IMPLICANTE PRIMO ESENCIAL

Un implicante primo p de una funcin f se dice que es un implicante primo esencial si cubre a lo menos un vrtice de la funcin que no est cubierto por ningn otro implicante primo.

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

18

PROCEDIMIENTO TABULAR DE QUINE-MCCLUSKEY

EJEMPLO

JGL

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

19

OTROS EJEMPLOS

JGL

20
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

JGL

21
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

UN ULTIMO EJEMPLO

JGL

22
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

PROBLEMAS LGEBRA DE CONMUTACIN

1. Simplifique las siguientes expresiones algebraicas: (a) (b) (c) (d) (e) (f) x + y + xyz (x + xyz) + (x + xyz) (x + xy z) xy + wxyz + xy a + a b + a bc + abcd + ... xy + y z + wxz wx + x y + w z + yz

2.

Encuentre el complemento de cada una de las siguientes expresiones y despus simplifquelas: (a) (b) (c) x(y + z) (x + y + z) (x + y z) (y + xz) (z + x y) w + (x + y + y z) (x + y z)

3.

Demuestre, sin usar induccin perfecta, si cada ecuacin es vlida o no. (a) (b) (c) (d) (x + y) (x + y) (x + y) (x + y) = 0 xy + x y + xyz = xyz + x y + yz xyz + wy z + wxz = xyz + wy z + wxy xy + xy + xyz = xz + xy + xyz

4.

Dado AB + AB = C, pruebe que AC + AC = B

5.

Encuentre el valor de las variables A, B, C y D que resuelve el siguiente conjunto de ecuaciones simultaneas A + AB = 0 AB = AC AB + AC + CD = CD

6.

Demuestre que si wx + yz = 0, entonces, wx + y (w + x) = wx + xz + x z + x y z

7.

Defina el conectivo * para las variables A, B y C, como sigue: A * B = AB + A B Sea C = A * B. Determine cuales de las siguientes ecuaciones son vlidas.

JGL

23
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

(a) (b) (c) 8.

A = B*C B = A*C A*B*C = 1

Determine la expresin cannica suma de productos para las funciones: (a) (b) f(x,y,z) = z + (x + y) (x + y) f(x,y,z) = x + (xy + zy)

9.

Para cada uno de lo siguiente, pruebe que es vlido ,o, muestre un contra-ejemplo (a) (b) (c) (d) (e) (f) Si A B = 0, entonces A = B Si A C = B C, entonces A = B A B = A B (A B) = A B = A B A (B + C) = (A B) + (A C) Si A B C = D, entonces, A B = C D y A = B C D

10. Una caja de seguridad tiene cinco candados v, w, x, y, z. Las llaves de los candados estn distribuidas entre cinco ejecutivos, de la siguiente manera: El ejecutivo A tiene las llaves de los candados v, x. El ejecutivo B tiene las llaves de los candados v, y El ejecutivo C tiene las llaves de los candados w, y El ejecutivo D tiene las llaves de los candados x, z El ejecutivo E tiene las llaves de los candados v, z. (a) (b) Determine el mnimo nmero de ejecutivos requeridos para abrir la caja. Encuentre todas las combinaciones de ejecutivos que pueden abrir la caja. Escriba una expresin f(A,B,C,D,E) que especifique cuando la caja puede ser abierta, como una funcin de los ejecutivos presentes. Cul es el ejecutivo "esencial" , sin el cual, la caja no puede ser abierta?

(c)

11. Se tiene un conjunto de requerimientos para entregar una pliza de seguro. El solicitante puede ser: a.- Una mujer casada de 25 o ms aos de edad, o b.- Una mujer menor de 25 aos de edad, o c.- Un hombre casado menor de 25 aos de edad que no ha estado envuelto en un accidente de trnsito, o d.- Un hombre casado que ha estado envuelto en un accidente de trnsito, o e.- Un hombre casado de 25 o ms aos de edad que no ha estado envuelto en un accidente de trnsito. Las variables w,x,y,z toman el valor verdadero 1 en los siguientes casos: w = 1 si el solicitante ha estado envuelto en un accidente de trnsito. x = 1 si el solicitante est casado y = 1 si el solicitante es hombre z = 1 si el solicitante tiene menos de 25 aos de edad

JGL

24
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

(a) (b)

Encuentre una expresin de conmutacin que tome el valor 1 cada vez que la pliza pueda ser entregada. Simplifique la expresin encontrada y proponga un conjunto simplificado de requerimientos.

12. En una Compaa , cinco empleados, A,B,C,D y E deben ser combinados para realizar una tarea bajo las siguientes restricciones: - A B ambos deben ser elegidos - C E, debe ser elegido, pero no ambos - A y C deben ser elegidos , o, ninguno de ellos - Si es elegido D, entonces E tambin debe ser elegido - Si B es elegido, entonces A y D tambin deben serlo. (a) Defina las variables A,B,C,D,E tal que si es verdadera significa que el correspondiente empleado ha sido seleccionado. Determine la expresin que especifica las combinaciones de empleados que pueden ser elegidos.

(b)

13.

Muestre un circuito con compuertas bsicas para cada una de las siguientes funciones. (a) T(A,B,C) = A(B + C'D') + A'B' (b) T(A,B,C) = A'B + AB'C + B'C'

14.

Por medio del uso de los mapas de Karnaugh encuentre las expresiones mnimas suma de productos de cada una de las funciones siguientes: (a) f1(w,x,y,z) = (0,1,2,3,4,6,8,9,10,11) (b) f2(w,x,y,z) = (0,1,5,7,8,10,14,15) (c) f3(w,x,y,z) = (0,2,4,5,6,8,10,12)

15.

(a)

Encuentre las expresiones mnimas suma de productos y producto de sumas para la funcin f(w,x,y,z) = (1,4,5,6,11,12,13,14,15) Es su respuesta nica ?

(b)

Determine la expresin mnima suma de productos para la funcin f(w,x,y,x) = (0,2,4,9,12,15) + x (1,5,7,10)

16.

Dada la funcin T(w,x,y,z,) = (1,2,3,5,13) + x (6,7,8,9,11,15) (a) Encuentre una expresin mnima suma de productos (b) Encuentre una expresin mnima producto de sumas (c) Compare las expresiones obtenidas en (a) y (b); si ellas no representan la misma funcin, explique porqu. Dadas las funciones: f1(w,x,y,z) = (1,3,4,5,9,10,11) + x (6,8) f2(w,x,y,z) = (0,2,4,7,8,15) + x (9,12)

17.

JGL

25
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

(a) Encuentre f3 = f1*f2 . Cuantas funciones representa f3 ? (b) Encuentre f4 = f1 + f2 . Cuantas funciones representa f4 ? (c) Simplifique f1 , f2 , f3 y f4. 18. Sea f = (5,6,13) y f1 = (0,1,2,3,5,6,8,9,10,11,13) . Encuentre f2 tal que f = f1 *f2 . Es f2 nica ?. Si no lo es, indique todas las posibilidades

19.

Dado el circuito que se muestra, determine las funciones f2 y f3 , si f1 = xz' + x'z y f(w,x,y,z) = (0,4,9,10,11,12)

20.

Por un Bus de 4 lineas llegan mensajes en cdigo BCD. Disee un circuito que produzca una salida 1, cada vez que en la entrada aparecen las combinaciones de 0,2,3,5 u 8.

21.

Simplifique las funciones siguientes por medio de los mapas de Karnaugh: (a) f1(v,w,x,y,z) = (3,6,7, 8,10,12,14,17,19,20,21,24,25,27,28) (b) f2(v,w,x,y,z) = (0,1,2,4,5,9,11,13,15,16,18,22,23,26,29,30,31) (c) f3(v,w,x,y,z) = (1,2,6,7,9,13,14,15,17,22,23,25,29,30,31) Para la funcin T(w,x,y,z) = (0,1,2,3,4,6,7,8,9,11,15) ; (a) Muestre el mapa (b) Encuentre todos los implicantes Primos e indique cuales son esenciales (c) Encuentre una expresin mnima para T. Es nica ? Dada la funcin T(w,x,y,z) = (1,3,4,5,7,8,9,11,14,15) ; (a) Use el mapa para determinar todos los implicantes primos. Indique cuales son esenciales. (b) Encuentre tres expresiones mnimas para T. (c) Directamente del mapa encuentre el complemento T'. Muestre mapas de cuatro variables que sigan las siguientes especificaciones. Si es imposible, explique porqu. (a) Para cada una de las especificaciones que siguen encuentre una funcin con ocho Minterm y: (i) Sin implicantes primos esenciales. (ii) Todos los implicantes primos son esenciales. Repita (a) para funciones con nueve Minterms. Una funcin con un nmero par de implicantes primos, de los cuales la mitad son esenciales. Una funcin con seis implicantes primos, de los cuales cuatro son esenciales y dos son cubiertos por los esenciales.

22.

23

24.

(b) (c) (d)

JGL

26
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

25.

Pruebe o muestre un contra-ejemplo para cada una de las siguientes aseveraciones: (a) Si una funcin f tiene una nica expresin mnima suma de productos, entonces, todos sus implicantes primos son esenciales. (b) Si una funcin f tiene una nica expresin mnima suma de productos, tambin tiene una nica expresin mnima producto de sumas. (c) Si el producto a pares de todos los implicantes primos de una funcin f es 0, entonces tiene una nica expresin mnima. (d) Por cada implicante primo p que no es esencial, hay una expresin irredundante que no contiene a p. (e) Si una funcin f no tiene implicantes primos esenciales, entonces tiene a lo menos dos expresiones mnimas suma de productos.

26.

Use el procedimiento tabular de Quine-McCluskey para generar el conjunto de implicantes primos y obtenga expresiones mnimas para las siguientes funciones: (a) f1(w,x,y,z) = (1,5,6,12,13,14) + x (2,4) (b) f2(v,w,x,y,z) = (0,1,3,8,13,14,15,16,17,19,24,25,27,31) (c) f3(w,x,y,z) = (0,1,4,5,6,7,9,11,15) + x (10,14) (d) f4(v,w,x,y,z) = (1,5,6,7,9,13,14,15,17,18,19,21,22,23,25,29,30) (e) f5(w,x,y,z) = (0,1,5,7,8,10,14,15) (f) f6(v,w,x,y,z) = (0,4,12,16,19,24,27,28,29,31) (a) (b) Disee un conversor de cdigos de Exceso-3 a BCD. Disee un conversor de cdigos de BCD a cdigo 2-de-5 Decimal 0 1 2 3 4 5 6 7 8 9 (c) 2-de-5 11000 00011 00101 00110 01001 01010 01100 10001 10010 10100

27.

Disee un conversor de cdigos de Cdigo Ringtail a BCD Decimal 0 1 2 3 4 5 6 7 8 9 Ringtail 00000 00001 00011 00111 01111 11111 11110 11100 11000 10000

JGL

27
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE INGENIERIA

28.

Una compuerta de tres entradas llamada BOMBA, cuyas caractersticas se muestran en la figura, ha sido fabricada en masa por una desafortunada compaa. Evidencia experimental ha mostrado que las combinaciones de entrada 101 y 010 hace que la compuerta "explote". Su tarea es determinar si la compuerta est completamente inutilizable o puede ser modificada externamente para implementar otra funcin sin causar explosin.

JGL