Teoremas y Leyes del álgebra de Boole

Ley Asociativa: Ley Distributiva:

A + (B + C) = (A + B) + C A·( B + C ) = A·B + A·C
A·(B·C) = (A·B)·C A + B·C = (A + B)·(A + C)

Ley Conmutativa: Teoremas de DeMorgan:

A+B=B+A (A+B+C+…) = A · B · C ·…
A·B = B·A
(A·B·C·…) = A + B +C +…
Otros teoremas:
• A + A·B = A • A·(A’ + B) = A·B

• A·(A + B) = A • A·B + A·B’ = A

• A+A’·B = A + B

Ejercicio: simplifique la función:

AB’CD + AB’CD’ + A’B’CD + A’B’CD’
 Construcción de circuitos lógicos a partir de
una tabla de verdad
Una forma directa consiste en seleccionar las filas de la tabla
de verdad con resultados “1” y obtener el producto canónico
respectivo. La suma de estos productos darán la función
lógica que representa al circuito.
Ejm.

A B C Z
0 0 0 0 Productos canónicos:

0 0 1 1
0 1 0 0
0 1 1 1
Ejm. Grafique un circuito que cumpla la siguiente tabla
de verdad:

A B C Z
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
 Universalidad de Compuertas NAND
Todo circuito lógico puede construirse usando solo compuertas
NAND. Para usar solo compuertas NAND, la función lógica puede
expresarse solo con productos y complementos.

A A A
NOT  A

A A·B  A A·B
AND
B B

A
A A+B
OR  A+B
B
B
 Equivalencia de Símbolos con el estándar
IEEE/ANSI

... ... 1 ... ... 2K+1

...  ... ... 1

...

... 
1 ...