ELECTRNICA DIGITAL

lgebra de Boole

VARIABLES LOGICAS
Existen una clase de variables que solamente pueden tomar dos valores lgicos: 1 o 0 , alto o bajo
Se acostumbre representar a estas variables con letras maysculas: U, V, W, X, Y, Z. o A, B, C, D. Uno de los estados se representa con la letra mayscula, y el otro con la misma letra con una barra encima:

U , V, W , A , B, C
Son los complementos de : U, V, W, A, B, C El complemento de 1 es 0; el de 0 es 1.

Los circuitos deben reducirse (minizarse) para: -Consumir menos energia.. -El espacio necesario (en el circuito impreso) para la implementacin del circuito sera menor - El mantenimiento del circuito sea ms fcil

-En consecuencia que el diseo sea el ms econmico posible

lgebra de Boole
Una herramienta para reducir las expresiones lgicas de circuitos digitales es la matemticas de expresiones lgicas, Fue presentada por George Boole en 1854, herramienta que desde entonces se conoce como lgebra de Boole.

Su lgebra consiste en un mtodo para resolver problemas de lgica. Recurre solamente a los valores binarios 1 y 0 y a tres operadores: AND (y) OR (o)

NOT (no)

NOTA:
(punto): significa producto lgico

+ (signo de suma): significa suma lgica

Las reglas del lgebra Booleana son:

La operacin AND o Y 0.0 = 0 0.1 = 0 1.0 = 0 1.1 = 1 A.0 = 0 A.1 = A A.A = A

A.A 0

La operacin OR o O 0+0=0 0+1=1 1+0=1 A+0=A A+1=1 A+A=A

A A 1 1+1=1 La operacin OR Exclusivo

00=0 01=1 10=1 11=0

La operacin NOT o Inversin

Si A 1 entonces A 0 Si A 0 entonces A 1 AA AA

Demostracin mediante tablas Ley Distributiva

A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 B+C 0 1 1 1 0 1 1 1 A. (B+C) = A.B+A.C AB 0 0 0 0 0 0 1 1 AC 0 0 0 0 0 1 0 1 AB+AC A(B+C) 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1

Teoremas
A A A+A 0 0 0 1 1 1

A+A=A

AA=A

A A AA 0 0 0 1 1 1

Demostraciones de algunos teoremas del lgebra de Boole Teorema Redundancia Demostrar

A AB A B Multiplica mos A por 1 A (1 B) A B A AB AB A B(A A ) pero (A A ) 1 Luego A B A B

Demostrar

A + A.B = A
Factorizando

A(1 + B) = A
(1 + B ) = 1 Luego A = A Lqqd

Demostracin mediante tablas

A+AB = A

AB A+A.B

0 0 1 1 A 0 0 1 1

0 1 0 1 B 0 1 0 1

0 0 0 1 A+B 0 1 1 1

0 0 1 1 A.(A+ B) 0 0 1 1

A(A+B) = A

Teorema
A+0=A Equivalente a una compuerta OR con una de sus terminales conectada a tierra

A
0 1

B=0 A+0
0 0 0 1

1A = A A Equivalente a una compuetra AND con una de sus terminales conectada a 1 B=1 1.A

0 1

1 1

0 1

A+1=1

A 0 1

B=1 1 1

A+1 1 1

A.0 = 0

B=0

A.0

0 1

0 0

0 0

Demostrar A+(BC) =( A+B)(A+C) A B C BC

COLUMNAS IGUALES

COLUMNAS IGUALES

A+BC A+B A+C (A+B)(A+C)

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

0 0 0 1 0 0 0 1

0 0 0 1 1 1 1 1

0 0 1 1 1 1 1 1

0 1 0 1 1 1 1 1

0 0 0 1 1 1 1 1

COMPROBACION DEL TEOREMA DE DEMORGAN

Columnas iguales Columnas iguales

A
Son iguales

B
0 1 0 1

A
1 1 0 0

B
1 0 1 0

A.B
1 0 0 0

A+B
0 1 1 1

A+B
1 0 0 0

0 0
A.B=A+B

1 1

Compuerta AND:
TABLA DE VERDAD

xy

Teorema de De Morgan

A.B A B
A

=
B

A B A.B
A

=
B

Compuerta OR:
TABLA DE VERDAD

x+y

Compuerta NAND:
TABLA DE VERDAD

xy

Diagrame el circuito combinacional que realice la funcin:

W XY YZ

Dibujar el circuito lgico de la siguiente ecuacin lgica

Y=AB + AB +AB
A B
U3A U3B U1B U1A

AB AB
AB

U2A

- + AB +AB Y=AB

U1C

Simplificar la siguiente funcin lgica

Y AB AB AB

1 2 3 Y=AB + AB +AB factorizando 2 y 3 Y = A(B+B)+ AB Y = A + AB= A+B

Simplificar la siguiente funcin lgica

Y AB AB AB
A 0 0 1 1 B 0 1 0 1 Y 0 1 1 1 0 AB AB AB

Es una tabla de una compuerta OR

COMPUERTA AND-NOR
Es una combinacin de dos compuertas AND cuyas salidas ingresan a una compuerta NOR de dos entradas. La expresin lgica que la gobierna es:

S AB CD

El diagrama lgico que cumple con la expresin anterior es:

A B AB

S AB CD
CD

C D

IC 74000

Diagrama fsico del circuito lgico

Puertas NAND el resto de las puertas

Todas las puertas con puertas NOR

Puertas Nor el resto de las puertas