UNIVERSIDAD INCA GARCILASO DE LA VEGA

FACULTAD DE INGENIERIA DE SISTEMAS, COMPUTO Y TELECOMUNICACIONES

SIMPLIFICACION DE FUNCIONES LOGICAS: ALGEBRA DE BOOLE, MAPAS KARNAUGH, METODO QUINE-MCCLUSKEY, ESPRESSO.
CURSO: CIRCUITOS DIGITALES

PROFESOR: ING. ARMANDO FERMIN PEREZ

2011-3

Simplificacin de Funciones Lgicas

Simplificar una funcin

o Consiste en hallar una expresin algebraica equivalente a la de partida, pero de menor tamao (menos trminos, trminos con menos variables) o El objetivo es reducir al mximo el circuito con el que se implementa una funcin lgica

Metodologa
o

o Algebraica. Aplicacin de axiomas y propiedades del lgebra de Boole

Elemento complementario, elemento neutro, distribuidad y propiedad asociativa

o Grfica. Mapas de Karnaugh o Computacional. Quine-McCluskey, Espresso.

Simplificacin Algebrica de Funciones Lgicas

Ejercicios

ALGEBRA DE BOOLE
1. Dadas las siguientes funciones lgicas:

a) Indquese el nmero de puertas necesarias para implementar cada una de las funciones si nicamente se dispone de puertas NAND de dos entradas. b) Indquese el nmero de puertas necesarias para implementar cada una de las funciones si nicamente se dispone de puertas NOR de dos entradas.

Ejercicios

Ejercicios

Ejercicios

Ejercicios

19.- Se desea implementar un circuito que controle el encendido de las luces intermitentes de un auto. El sistema dispone de una palanca que cuando se encuentra en posicin subida genera una seal "PS" que activa el encendido de las luces intermitentes derechas ("LD"). Si se encuentra en posicin bajada genera una seal "PB" que activa el encendido de las luces intermitentes izquierdas ("LI"). Si la palanca se encuentra en una posicin intermedia (ni subida ni bajada) no se genera ninguna seal y por lo tanto no se enciende ninguna luz. Para que el sistema tenga el funcionamiento descrito es necesario que se introduzca la llave de encendido del motor y se encuentre en la posicin de contacto, generando de esta manera la seal "C".

El sistema dispone de una entrada adicional avera que cuando se encuentra activa genera la seal "A" activando los cuatro intermitentes independientemente de que el contacto se encuentre dado o no. Se pide: a) Tabla de verdad b) Simplificacin de las funciones c) Si slo se dispusiese de puertas NAND. Indquese el nmero mnimo de puertas para implementar todo el circuito.

20.Se desea implementar un circuito combinacional para intentar mantener entre dos valores la temperatura de una habitacin. Para ello se dispone de un aparato de aire acondicionado, dos interruptores de accin manual y dos sensores de temperatura (ver figura). Cada sensor tiene asociada una seal que se activa cuando se alcanza la temperatura programada en dicho sensor. El sensor A activa la seal T_Min cuando la temperatura ambiente es superior a la mnima requerida, y el sensor B activa la seal T_Max cuando la temperatura ambiente es superior a la mxima requerida. Igualmente cada interruptor tambin tiene asociada una seal. Cuando se acciona el interruptor A se activa la seal calor y cuando se acciona el interruptor B se activa la seal frio.

El circuito a implementar indicar el modo de funcionamiento del aparato de aire acondicionado mediante la activacin de las seales Aire_fro (indica que debe expulsarse aire fro) o Aire_caliente (indica que debe expulsarse aire caliente). Para ello deben cumplirse los siguientes criterios: Cuando la temperatura ambiente no supere la temperatura mnima requerida deber expulsarse aire caliente excepto cuando est activa la seal fro que, en dicho caso, no se expulsar ni aire caliente ni fro Cuando la temperatura ambiente est entre los valores permitidos no se expulsar ni aire fro ni caliente excepto cuando est activa la seal fro que se expulsar aire fro o la seal calor que se expulsar aire caliente Cuando la temperatura ambiente supere la temperatura mxima requerida deber expulsarse aire fro excepto cuando est activa la seal calor que, en dicho caso, no se expulsar ni aire fro ni caliente En el caso de que las seales fro y calor se activen a la vez debern ser ignoradas, el modo de funcionamiento ser el mismo que si no estuvieran activadas Implemntese dicho circuito con un coste mnimo.

Ejercicios
Pregunta 7 8 9 10 11 12 13 14 15 16 17 18 Solucin A A D B D C B B C D B A

Simplificacin Grfica de Funciones Lgicas Mapa de Karnaugh

o Representacin matricial de una tabla de verdad o Una celda del mapa de Karnaugh representa una fila de la tabla de verdad o En cada celda se coloca el valor de una salida de la funcin

o La disposicin espacial de las celdas es tal que los trminos adyacentes de la funcin lgica estn en celdas adyacentes o Dos trminos se dicen adyacentes si sus valoraciones difieren en el valor de una sola variable o Los bordes del mapa de Karnaugh deben considerarse adyacentes

Simplificacin Grfica de Funciones Lgicas

Mtodo del Mapa de Karnaugh
Difcil dibujar cubos de ms de 4 dimensiones Mapa-K es un mtodo alternativo de representar tablas de verdad que ayudan a visualizar adyacencias de hasta 6 dimensiones Ms all de eso, se necesitan mtodos basados en computadoras
A B 0 0 0 1 1 2 3 01 1 AB C 00 0 0 1 1 2 3 B 6 7 4 5 01 11 A 10 C 10 11 3 2 5 7 6 B 13 15 14 9 11 10 D 1 A 01 0 4 11 12 00 8

2-variables Mapa-K

AB 00 CD 00

3-variables Mapa-K

4-variables Mapa-K

Esquema de Numeracin: 00, 01, 11, 10 Cdigo Gray slo un bit cambia de celda a celda

Simplificacin Grfica de Funciones Lgicas

Mapa-K para cuatro y cinco variables

AB CD
0

A 00
4

01
12

11
8

10
0 4 12 8

00
1 5 13 9 1 5 13 9

01
3 7 15 11 3 7 15 11

11
2 6 14 10

14

10

10 B (b) A ABC DE
0

(a) B 000
4

B
16 20 28 24

001

011
12 8

010

100
16

101
20

111
28

110
24 0 4 12 8

00
1 5 13 9 17 21 29 25 1 5 13 9 17 21 29 25

01
3 7 15 11 19 23 27 3 7 15 11 19 23 31 27

11
2 6 14 10 18 22 30 26

14

10

18

22

30

26

10 (c) C (d) C

Mapa-K para seis variables

B BCD AEF
0

C 000
4

C
16 20 28 24

001

011
12 8

010

100
16

101
20

111
28

110
24 0 4 12 8

000
1 5 13 9 17 21 29 25 1 5 13 9 17 21 29 25

001
3 7 15 11 19 23 31 27 3 7 15 11 19 23 31 27

011
2 6 14 10 18 22 30 26

14

10

18

22

30

26

010
32 36 44 40 48 52 60 56 32 36 44 40 48 52 60 56

100
33 37 45 41 49 53 61 57 33 37 45 41 49 53 61 57

101
35 39 47 43 51 55 63 59

A E

35

39

47

43

51

55

63

59

111
34 38 46 42 50 54 62 58 34 38 46 42 50 54 62 58

110 D (e) (f) D

Simplificacin Grfica empleando Mapas Karnaugh

Herramienta principal: Teorema de la Unicidad A (B' + B) = A
A 0 0 1 1 B 0 1 0 1 F 0 0 1 1

F = A B' + A B = A (B' + B) = A

Valores de B cambian en filas donde F=1 (ON)

B es eliminado, A permanece

Valores de A no cambian en filas donde F=1

A 0 0 1 1 B 0 1 0 1 G 1 0 1 0

G = A' B' + A B' = (A' + A) B' = B' Valores de B permanecen iguales en filas G=1

A es eliminado, B permanece

Valores de A cambian en filas donde G=1 Esencia de la Simplificacin: Hallar dos subconjuntos de elementos del conjunto ON donde slo una variable cambie su valor. Esta variable cambiante puede ser eliminada

Simplificacin Grfica empleando Mapas Karnaugh

Cubos Booleanos
0 X 1-cub e 01 Y 00 X 2-cub e 10 XY 11 010 110 Y 000 X 3-cub e 1011 0111 0011 0010 0110 Y 0001 Z W 0000 X 0100 4-cub e 1000 0101 1100 1001 1101 1010 1110 WXYZ 1111 001 1 011

Tcnica visual para identificar cuando puede aplicarse el Teorema de Unicidad

XYZ 111

Slo es otra manera de representar Tablas de Verdad

101

100

n variables de entrada =cubo dimensin n

Simplificacin Grfica empleando Mapas Karnaugh

Mapeo de las Tablas de Verdad en los Cubos Booleanos
ON-set = nodos 1s

OFF-set = nodos 0s
DC-set = nodos X
F
01 B 00 A 10 11

Cubo de dimensin n-1 Expresin reducida contiene n-1 variables

A afirmativo y sin cambios

B vara dentro del lazo

G

A vara dentro del lazo B complementado y sin cambios

01 B 00 A

11

10

Simplificacin Grfica empleando Mapas Karnaugh

Ejemplo con 3 variables: Full Adder Carry Out
(A' + A) B Cin

011 A 0 0 0 0 1 1 1 1 B Cin 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 Cout 0 0 0 1 0 1 1 1

111

A B (Cin' + Cin)

010 110 B 000 A 001 101 Cin 100

El conjunto ON es cubierto por el OR de los subcubos de menor dimensionalidad A (B + B') Cin

Cout = B Cin + A B + A Cin

Simplificacin Grfica empleando Mapas Karnaugh

Subcubos de Dimensiones Mayores a 2
011 010 110 B C 000 A 100 001 101 111

F(A,B,C) =

Sm(4,5,6,7)

El conjunto ON forma un rectngulo, i.e., un cubo de 2 dimensiones

representa una expresin en una variable i.e., 3 dimensiones - 2 dimensiones

A es afirmativo y sin cambios B y C varan
Este subcubo representa el literal A

Simplificacin Grfica empleando Mapas Karnaugh

En un 3-cubo: un 0-cubo, i.e., un solo nodo, posee un trmino en tres literales un 1-cube, i.e., una lnea de dos nodos, posee un trmino en dos literales un 2-cube, i.e., un plano de cuatro nodos, posee un trmino en un literal un 3-cube, i.e., un cubo de ocho nodos, posee un trmino constante 1" En general, un m-subcubo dentro de un n-cubo (m < n) posee un trmino con n - m literales

Simplificacin por Karnaugh de Funciones Lgicas Mtodo de simplificacin

o o o o o
o

Agrupar todas las celdas con el mismo valor, en uno o ms grupos Cada grupo contendr un nmero de celdas adyacentes potencia de 2 Hacer los grupos lo ms grande posibles El nmero de grupos debe ser mnimo Una celda puede estar en uno o ms grupos
Al tomar dos celdas adyacentes, slo cambia el valor de una de las variables entre los dos trminos. Aplicando distribuidad, elemento complementario y elemento neutro se elimina la variable que cambia de valor

Fundamento del mtodo

Simplificacin por 1s
Mtodo de simplificacin por unos
o o o o Agrupar las celdas de valor 1 Cada grupo representa a un trmino producto (no minitrmino, puesto que no aparecern todas las variables de la funcin). Las variables de valor cero aparecern complementadas. Un grupo de 2k celdas elimina k variables del trmino resultante, y por tanto tendr n-k variables En cada grupo se eliminan las variables que cambian de valor de unas celdas a otras

Simplificacin por 1s

Simplificacin por 1s

Simplificacin por 0s
Mtodo de simplificacin por ceros
o o o o Agrupar las celdas de valor cero Cada grupo representa un trmino suma (no maxitrmino, puesto que no aparecern todas las variables de la funcin). Las variables de valor uno aparecern complementadas Un grupo de 2k celdas elimina k variables del trmino resultante, y por tanto tendr n-k variables En cada grupo se eliminan las variables que cambian de valor de unas celdas a otras

Simplificacin por 0s

Ejemplos del Mtodo del Mapa-K

A B 0 1 0 0 0 1 1 1

A afirmativo, sin cambios B vara

A B 0 1 0 1 0 1 1 0

F =
AB Cin 0 1 00 0 0 01 0 1 11 1 1 A

B complementado, sin cambios A vara

G =
A

10 0 1

AB C 0 1

00 0 0

01 0 0 B

11 1 1

10 1 1

Cout =

F(A,B,C) =

Ejemplos del Mtodo del Mapa-K

A B 0 1 0 0 0 1 1 1

A afirmativo, sin cambios B vara

A B 0 1 0 1 0 1 1 0

F = A
AB Cin 0 1 00 0 0 01 0 1 11 1 1 A

B complementado, sin cambios A vara

G = B'
A

10 0 1

AB C 0 1

00 0 0

01 0 0 B

11 1 1

10 1 1

Cout = A B + B Cin + A Cin

F(A,B,C) = A

Mas Ejemplos del Mtodo del Mapa-K, 3 Variables

AB C 0 1 00 1 0 01 0 0 B
AB C 0 1 A 00 0 1 01 1 1 B 11 1 0 10 0 0

A 11 0 1 10 1 1

F(A,B,C) = Sm(0,4,5,7)
F =

F' simplemente reemplaza 1's con 0's y viceversa F'(A,B,C) = Sm(1,2,3,6)

F' =

Mas Ejemplos del Mtodo del Mapa-K, 3 Variables

AB C 0 1 00 1 0 01 0 0 B
AB C 0 1 A 00 0 1 01 1 1 B 11 1 0 10 0

A 11 0 1 10 1 1

F(A,B,C) = Sm(0,4,5,7)

F = B' C' + A C
En Mapa-K, las adyacencias se envuelven de izquierda a derecha y de arriba hacia abajo F' simplemente reemplaza 1's con 0's y viceversa F'(A,B,C) = Sm(1,2,3,6)

F' = B C' + A' C

Compare con el mtodo de utilizar los Teoremas de Morgan y el Algebra de Boole para reducir el complemento!

Ejemplos del Mapa-K: 4 variables

A 00 1 0 1 1 01 0 1 1 1 B 11 0 0 1 1 10 1 0 D 11 C 10 1 1

AB CD 00 01

F(A,B,C,D) = Sm(0,2,3,5,6,7,8,10,11,14,15)
F=

Ejemplos del Mapa-K: 4 variables

AB CD 00 01 11 C 10 1 1 B
1011 0111 0011 0010 1010 1110 0110 1001 C D 0000 0001 A B 0100 0101 1100 1000 1101 1111

A 00 1 0 1 01 0 1 1 11 0 0 1 1 10 1 0 D 1 1

F(A,B,C,D) = Sm(0,2,3,5,6,7,8,10,11,14,15) F = C + A' B D + B' D'

Hallar el menor nmero de subcubos lo ms grande posibles que cubran el conjunto ON

Adyacencia de Esquinas en Mapa K ilustrado en 4-Cube

F(A,B,C,D,E) =Sm (2, 5, 7, 8, 10,13, 15, 17, 19, 21, 23, 24, 29, 31) = CE + ABE + BCDE + ACDE

F(A,B,C,D,E,F) =Sm (2, 8, 10, 18, 24, 26, 34, 37, 42, 45, 50, 53,58, 61) = DEF+ ADEF+ACDF

Mtodo del Mapa-K: Encerrando Ceros

AB CD 00 01 11 C 10 1 1 B 1 1 A 00 1 0 1 01 0 1 1 11 0 0 1 10 1 0 D 1

F = (B + C + D) (A + C + D) (B + C + D)

Reemplace F por F, 0s por 1s y viceversa F=BCD+ACD+BCD F=BCD+ACD+BCD F = (B + C + D) (A + C + D) (B + C + D)

Ejemplo de Diseo: Comparador de 2 bits

A B C D A 0 B C D 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 F1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 F2 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 F3 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0

N1 F1 A B = C D =, >, < F2 A B < C D F3 A B > C D N2

Diagrama de Bloques Y Tabla de Verdad

Un Mapa-K de 4Variables para c/u de las 3 funciones de salida

Ejemplo de Diseo: Comparador de 2 bits

AB CD 00 01 11 C 10 0 0 B K-map for F1 0 1 A 00 1 0 0 01 0 1 0 11 0 0 1 10 0 0 D 0 C 10 1 1 B K-map for F2 0 0 11 1 1 0 1 C 10 0 0 B K-map for F3 1 0 AB CD 00 01 A 00 0 1 01 0 0 11 0 0 10 0 0 D 11 0 0 0 0 AB CD 00 01 A 00 0 0 01 1 0 11 1 1 10 1 1 D

F1 = F2 = F3 =

Ejemplo de Diseo: Comparador de 2 bits

AB CD 00 01 11 C 10 0 0 B K-map for F1 0 1 A 00 1 0 0 01 0 1 0 11 0 0 1 10 0 0 D 0 C 10 1 1 B K-map for F2 0 0 11 1 1 0 1 C 10 0 0 B K-map for F3 1 0 AB CD 00 01 A 00 0 1 01 0 0 11 0 0 10 0 0 D 11 0 0 0 0 AB CD 00 01 A 00 0 0 01 1 0 11 1 1 10 1 1 D

F1 = A' B' C' D' + A' B C' D + A B C D + A B' C D' F2 = A' B' D + A' C

F3 = B C' D' + A C' + A B D'

A xnor B xnor C xnor D

Ejemplo de Diseo: Sumador de 2 bits

A B C D N1 + N2 N3 X Y Z A B C D 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 X Y Z 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0

Diagrama de Bloques Y Tabla de Verdad

Un Mapa K de 4Variables para c/u de las 3 funciones de salida

Ejemplo de Diseo: Sumador de 2 bits ...

AB CD 00 01 11 C 10 0 0 B K-map for X 1 1 A 00 0 0 0 01 0 0 1 11 0 1 1 10 0 0 D 1 C 10 1 1 B K-map for Y 0 0 11 1 0 1 0 C 10 0 1 B K-map for Z 1 0 AB CD 00 01 A 00 0 0 01 0 1 11 1 0 10 1 1 D 11 1 0 0 1 AB CD 00 01 A 00 0 1 01 1 0 11 1 0 10 0 1 D

X= Z= Y=

Ejemplo de Diseo: Sumador de 2 bits ...

AB CD 00 01 11 C 10 0 0 B K-map for X 1 1 A 00 0 0 0 01 0 0 1 11 0 1 1 10 0 0 D 1 C 10 1 1 B K-map for Y 0 0 11 1 0 1 0 C 10 0 1 B K-map for Z 1 0 AB CD 00 01 A 00 0 0 01 0 1 11 1 0 10 1 1 D 11 1 0 0 1 AB CD 00 01 A 00 0 1 01 1 0 11 1 0 10 0 1 D

X=AC + BCD + ABD Z = B D' + B' D = B xor D

1's en diagonal sugieren XOR! Mapa-K de Y no mnimo

Y = A' B' C + A B' C' + A' B C' D + A' B C D' + A B C' D' + A B C D = B' (A xor C) + A' B (C xor D) + A B (C xnor D) Nmero de puertas se reduce si se = B' (A xor C) + B (A xor B xor C) implementa con XOR

Ejemplo de Diseo: Sumador de 2 bits ...

A B C D Y1 \A \B \C \D

Dos implementaciones de Y con y sin XOR

Nota: 1 XOR tpicamente requiere 4 NAND !

X X XOR Y

Y2

Simplificacin de Funciones Lgicas con Entradas Indiferentes

Entradas indiferentes
o
o o

Aquellas combinaciones de valores de entrada para las que no importa el valor de la salida, por
tratarse de una combinacin de las entradas para la que no se ha especificado el comportamiento del circuito tratarse de una combinacin de las entradas que es imposible

o o o

En la tabla de verdad, la salida para estas combinaciones es x En las formas cannicas, estas combinaciones se agrupan por separado en sumatorios o productorios del conjunto vaco En la simplificacin por Karnaugh, estas celdas se toman como si tuvieran valor uno o valor cero, como mejor convenga para maximizar la simplificacin.
o o No todas las celdas x tienen que tomarse como 0 1, slo las que interese. Hacer un grupo nuevo que slo contenga x o x y celdas que ya se han agrupado en otros grupos es innecesario y redunda en un circuito que no es el ms sencillo posible.

Simplificacin de Funciones Lgicas con Entradas Indiferentes

Simplificacin de Funciones Lgicas con Entradas Indiferentes

Simplificacin de Funciones Lgicas con Entradas Indiferentes Errores ms comunes

o o o o Hacer grupos innecesarios para agrupar celdas x en la simplificacin de Karnaugh Multiplicar sumatorios o sumar productorios Expresar las formas cannicas olvidando los trminos indiferentes () Incluir los trminos indiferentes como si fueran minitrminos o maxitrminos en las formas cannicas correspondientes

Simplificacin de Funciones Lgicas con Entradas Indiferentes

Ejemplo: Visualizador de 7 segmentos

Toma como entrada un dgito BCD (D,C,B,A) y obtiene como salida un cdigo de encendido de 7 segmentos (a, b, c, d, e, f, g) para iluminar un visualizador.

Simplificacin de Funciones Lgicas con Entradas Indiferentes

Simplificacin de Funciones Lgicas con Entradas Indiferentes Ejemplo de Mapa K: Xs

Xs pueden tratarse como 1's o 0's si es ventajoso hacerlo as
AB 00 CD 00 01 11 C 10 0 X B 0 0 0 1 1 A 01 0 1 1 11 X X 0 10 0 1 D 0

F(A,B,C,D) = Sm(1,3,5,7,9) + Sd(6,12,13) F= F= sin Xs con Xs

Simplificacin de Funciones Lgicas con Entradas Indiferentes Ejemplo de Mapa K: Xs

Xs pueden tratarse como 1's o 0's si es ventajoso hacerlo as
AB 00 CD 00 01 11 C 10 0 X B 0 0 0 1 1 A 01 0 1 1 11 X X 0 10 0 1 D 0

F(A,B,C,D) = Sm(1,3,5,7,9) + Sd(6,12,13)

F = A'D + B' C' D sin Xs

F = C' D + A' D con Xs Tratando este DC como "1", se puede formar un 2-cubo en lugar de un 0-cubo
AB CD 00 A 00 0 1 1 0 01 0 1 1 X B 11 X X 0 0 10 0 1 D 11 0 0 C 10

En PoS: F = D (A' + C')

01

Igual respuesta que arriba, pero con menos literales

Ejemplo de Diseo: BCD incrementado en 1

AB 00 CD 00 W 01 11 C 10 0 0 B A 01 0 1 0 1 B 11 X X X X 10 0 0 D 11 C 10 1 X 0 X C 10 1 1 B X X Z X X 0 0 0 A 01 0 0 1 11 X X X 10 1 0 D X C 10 0 1 B A 01 1 0 0 11 X X X 10 1 0 D 11 0 X X X X AB 00 CD 00 01 11 0 0 1 A 01 1 1 0 11 X X X 10 0 0 D X

AB 00 CD 00 Y 01 0 1

AB 00 CD 00 01 1 0

W= X=

Y= Z=

Ejemplo de Diseo: BCD incrementado en 1

AB 00 CD 00 W 01 11 C 10 0 0 B A 01 0 1 0 1 B 11 X X X X 10 0 0 D 11 C 10 1 X 0 X C 10 1 1 B X X Z X X 0 0 0 A 01 0 0 1 11 X X X 10 1 0 D X C 10 0 1 B A 01 1 0 0 11 X X X 10 1 0 D 11 0 X X X X AB 00 CD 00 01 11 0 0 1 A 01 1 1 0 11 X X X 10 0 0 D X

AB 00 CD 00 Y 01 0 1

AB 00 CD 00 01 1 0

W = B C D + A D' X = B C' + B D' + B' C D

Y = A' C' D + C D' Z = D'

Recordando...

Simplificar una funcin

o Consiste en hallar una expresin algebrica equivalente a la de partida, pero de menor tamao (menos trminos, trminos con menos variables) o El objetivo es reducir al mximo el circuito con el que se implementa una funcin lgica

Metodologa
o

o Algebraica. Aplicacin de axiomas y propiedades del lgebra de Boole

Elemento complementario, elemento neutro, distribuidad y propiedad asociativa

o Grfica. Mapas de Karnaugh o Computacional. Quine-McCluskey, Espresso.