Compuertas lgicas y lgebra de Boole

Ing. Mnica P. Ren Universidad del Caribe

1

introduccin
Algebra booleana : herramienta de la matemtica usada para el anlisis y diseo de sistemas digitales. Nos permite describir la relacin entre la o las salidas de un circuito lgico y su entrada o entradas.

Las constantes y variables booleana solo puede tomar dos valores 0 o 1.

Las variables se usan para representar el nivel de voltaje presente en un cable o en las terminales de E/S de un circuito.

introduccin
En la lgica digital se usan otros trmino como sinnimos de 0 y de 1. Por ejemplo:
0 lgico Falso Desactivado Bajo 1 lgico Verdadero Activado Alto

No
Interruptor abierto

S
Interruptor cerrado

introduccin

Por ejemplo, en cierto sistema digital el valor booleano 0 se podra asignar a cualquier voltaje comprendido entre el intervalo de 0 a 0.8 V, en tanto que el valor booleano de 1 se podra asignar a cualquier voltaje en un intervalo de 2 a 5V.
As el 0 y el 1 booleanos no representan nmeros reales (como en el lgebra comn) sino el estado de una variable de voltaje, o lo que se conoce como nivel lgico.

introduccin
En el lgebra de boole solo existen tres operaciones algebraicas bsicas (operaciones lgicas): OR, AND, NOT. Para visualizar mejor las operaciones utilizamos una tabla de verdad. Una tabla de verdad es un medio para describir cmo la salida lgica de un circuito depende de los niveles lgicos presentes en la entrada del circuito. Como se trabaja con nmeros binarios, las posibles combinaciones de entrada para una tabla de verdad de N entradas es: 2N

introduccin
Ejemplo para tres variables de entrada (A,B,C) se tendr 8 (23 =8) combinaciones de entrada . Los circuitos digitales llamados compuertas lgicas se pueden construir mediante componentes electrnicos (diodos, transistores y elementos pasivos) conectados de tal forma que la salida del circuito sea el resultado de una operacin lgica bsica aplicada a las entradas del circuito. Veremos a continuacin las compuertas lgicas bsicas y las que se derivan de stas.

Compuertas lgicas
Compuertas Lgicas: Circuitos electrnicos que implementan alguna de las funciones lgicas elementales, como la suma lgica, producto lgico e inversin lgica(o negacin). Tipos de compuertas lgicas: Bsicas: AND, OR, NOT o INV Combinacin de bsicas: XOR o EX-OR Con salida invertida o negada: NAND, NOR,XNOR Compuerta OR Suma lgica (O) Nmero mnimo de entradas:2 (Ej. A,B) Notacin: Z= A+B Tabla de verdad: A B Z
0 0 1 0 1 0 0 1 1

Smbolo o representacin circuital:

A B

Compuertas lgicas
Compuerta AND Compuerta NOT Producto lgico (Y) o negacin Nmero mnimo de entradas:2 (Ej. Inversin complemento lgico ( INV) A,B) Nmero de entradas:1 (Ej. A) Notacin: Z=A . B Notacin: Z=A Tabla de verdad: Z=A A B Z Tabla de verdad: 0 0 0
0 1 1 1 0 1 0 0 1 A 0 1 Z 1 0

Smbolo o representacin circuital:

A B Z

Smbolo circuital:

o
A

representacin
Z
8

 Compuerta NAND AND negada Nmero de entradas: (ampliable) Notacin: Z=(A.B) =A.B Tabla de verdad:
A
0 0 1 1

Compuertas lgicas
2 Compuerta NOR OR negada Nmero de entradas: (ampliable) Notacin: Z=(A+B)=A+B Tabla de verdad: A B
0 0 0 1

B
0 1 0 1

Z
1 1 1 0

Z 1 0

1
1

0
1

0
0

Smbolo circuital:
A B A.B

representacin

Smbolo circuital:
A A+B B

representacin

A B

A B
9

 Compuerta XOR OR exclusiva Nmero de entradas: 2 (no ampliable) Notacin: Z=A.B+A.B Z=A B Tabla de verdad:
A 0 0 1 1 B 0 1 0 1 Z 0 1 1 0

Compuertas lgicas
Compuerta XNOR XOR negada o invertida Nmero de entradas: 2 ( no ampliable) Notacin: Z=A.B+A.B Z=(A B)=(A B) Tabla de verdad:
A 0 0 1 1 B 0 1 0 1 Z 1 0 0 1

Smbolo circuital:

o
A B

representacin
Z

Smbolo circuital:

o
A B

representacin
Z
10

Compuertas lgicas
Circuito OR muy simplificado
V1 D1
1N4004

Circuito AND muy simplificado

V1 D1
1N4004

D2 V2
1N4004

Vsal R1

D2 V2
1N4004

Vsal R1 Vcc

V1
0 0 1 1

V2
0 1 0 1 Diodos off D1 off, D2 on D1 on, D2 off Diodos on

Vsal
0 1 1 1 V1 0 1 0 1 V2 0 0 1 1 D1, D2 conducen D1 abierto,D2 conduce D1conduce, D2 abierto D1, D2 abiertos Vsal 0 0 0 1 11

Compuertas lgicas
Inversor Circuito real
IN
74S04D
Vin R2
10.0 2N3055A

VCC
5V

Vout Vcc
Vout

R3
10.0

OUT
Q1

VCEsat low undefined hight Vin

12

Tecnologas de compuertas lgicas

TTL (transistor-transistor logic) Transistores bipolares BJT Alta velocidad Bajo consumo Baja inmunidad al ruido CMOS (complementary metal oxide semiconductor) Transistores Mosfet Baja velocidad Bajo consumo Alta escala de integracin Alta inmunidad al ruido Series CMOS 4000/4500 Cudruples de 2 entradas: 4001: NOR. 4011: NAND. 4071: OR. 4081:AND 4030/4070:XOR 4069: sxtuple inversor.
Para mayor informacin consulte Apndice A, Lgica MOS y CMOS de Fundamentos de 13 diseo lgico, Charles H. Roth, Jr. 5 ed.

Series TTL, LS-TTl, otras Compuertas de hasta 8 entradas: 74LS04: sxtuple INV. 74LS08: cudruple AND de 2 entradas. 74LS21: doble AND de 2 entradas. 74LS30: NAND de 8 entradas. Compuertas compuestas: U5A 1 74LS51: AND-OR-INV 12
13 9 10 11 8

74LS51D

Tecnologas de compuertas lgicas ejemplo hoja de datos

14

Tecnologas de compuertas lgicas ejemplo hoja de datos

15

Compuertas lgicas
Prctica n1 Compuertas lgicas.

16

Algebra de Boole
Tiene mucha aplicaciones por ejemplo: teora de conjuntos y lgica matemticas. Fue desarrollada en 1847 por George Boole. Pero en 1939 Claude Shannon la aplic para el diseo de circuitos de conmutacin. El lgebra booleana que emplea solo dos valores, se denomina lgebra de conmutacin.

17

Algebra de Boole, leyes y teoremas

A continuacin, veremos las leyes, teoremas, postulados y la aplicacin del principio de dualidad, para reducir expresiones mediante el lgebra de Boole.

Principio de dualidad:
Si queremos encontrar el dual de una expresin algebraica simplemente intercambiamos los operandos OR y AND y sustituimos los 0s por 1s y los 1s por 0s.

La siguiente tabla muestra los teoremas y leyes con aplicacin del teorema de dualidad.

18

Algebra de Boole, leyes y teoremas

dualidad X+0=X X+X=1 X+X=X X+1=1 (X)=X X.1=X X.X=0 X.X=X X.0=0
involucin

X+Y=Y+X
X+(Y+Z)=(X+Y)+Z X(Y+Z)=XY+XZ (X+Y)=XY X+XY=X

XY=YX
X(YZ)=(XY)Z X+YZ=(X+Y)(X+Z) (XY)=X+Y X(X+Y)=X

conmutatividad
asociatividad distributividad Ley de Morgan Ley de Absorcin

19

Algebra de Boole, postulados y teoremas

Cuando una expresin se implementa utilizando compuertas lgicas, cada literal de la expresin corresponde a una entrada de compuerta lgica. Una tabla de verdad especifica los valores de una expresin booleana para todas las posibles combinaciones de valores de las variables de la expresin. Podemos

demostrar

los

teoremas

bsicos

utilizando

circuitos

conmutadores, donde 0 representar un conmutador abierto y 1 representar un conmutador cerrado.

20

Algebra de Boole, postulados y teoremas

X.X=X
X

X.X=0
X

X+X=X
X
X

X+X=1
X
1

=
X

X+0=X
X
X

X+1=1
X

21

Algebra de Boole, postulados y teoremas

Observaciones para cuando se evalen expresiones booleanas : Primero realizar las inversiones de los trminos simples, resolver las operaciones entre parntesis, cuando una operacin contiene AND y OR, a menos que existan parntesis, la operacin AND tiene prioridad, realizar las operaciones dentro de la barra y luego invertir (o negar) el resultado. Ilustremos lo anterior con unos ejemplos en la pizarra.

22

Algebra de Boole, leyes y teoremas

Teoremas de simplificacin: XY+XY= X X+XY=X (X+Y)Y=XY Leyes de Morgan: (X+Y+Z+..)=XYZ
Teoremas para la descomposicin en

(X+Y)(X+Y)=X X(X+Y)=X XY+Y=X+Y (XYZ..)=X+Y+Z+

productos sumas y suma de productos:

(X+Y) (X+Z)=XZ+XY

XY+XZ=(X+Z)(X+Y)

Teorema de consenso: XY+YZ+XZ=XY+XZ

(X+Y)(Y+Z)(X+Z)=(X+Y)(X+Z)

23

Algebra de Boole, leyes y teoremas

Implicaciones del Teorema de Morgan: (X+Y)=XY
X Y Y Y (X+Y) X X XY X Y XY

Regla, intercambio OR con AND (y viceversa) y coloco negacin donde no exista y quito la que exista.

(XY)=X+Y
X X Y Y Y (X.Y) X X+Y X Y X+Y

24

Universalidad de las compuertas NAND y NOR

Con compuertas NAND
A X= (A.A)=A A A

Con compuertas NOR

A X= (A+A)=A A A

A B

(AB)

X=AB

A B

AB

A
A A X= (AB)=A+B B B A B A+B

(A+B)

A+B

A B

A+B

A B X= (A+B)=AB A B AB

Interpretacin de smbolos lgicos

X Y (X.Y)

Indica que la salida ser baja cuando ambas entradas sean altas

X Y

X+Y

Salida activa en alto cuando cualquiera de las entradas sean bajas

25

Universalidad de las compuertas NAND y NOR

Los diseadores prefieren emplear compuertas NAND y NOR ya que generalmente son ms rpidas y emplean menos componentes que las compuertas lgicas AND y OR. Supongamos que queremos implementar la siguiente funcin, F=(A+B)AC utilizando solo compuertas NAND, entonces tendremos:

26

Funciones booleanas

Una funcin booleana descrita por una expresin algebraica consta de variables binarias, las constantes 0 y 1, y los smbolos lgicos de operacin

27

Forma cannica de una funcin, suma de productos y productos de suma

El lgebra de boole asocia a la suma de trminos cuyas variables exclusivamente estn multiplicndose como MINITERMINOS (o productos cannicos) y a la multiplicacin de trminos cuyas variables estn sumndose como MAXITERMINOS (o sumas cannicas). La tabla siguiente muestra los MINITERMINOS y MAXITERMINOS para tres variables.
Minitrminos Trminos Designacin
xyz xyz xyz xyz xyz xyz xyz xyz m0 m1 m2 m3 m4 m5 m6 m7

X
0 0 0 0 1 1 1 1

Y
0 0 1 1 0 0 1 1

z
0 1 0 1 0 1 0 1

Maxitrminos Trminos Designacin

x+y+z x+y+z x+y+z x+y+z x+y+z x+y+z x+y+z x+y+z M0 M1 M2 M3 M4 M5 M6 M7
28

Forma cannica de una funcin, suma de productos y productos de suma

Se puede formar una funcin booleana a partir de maxitrminos o minitrminos. Por ejemplo sea F es una funcin booleana que se define en base a la siguiente tabla de verdad:
x
0 0 0 0 1 1 1 1

y
0 0 1 1 0 0 1 1

z
0 1 0 1 0 1 0 1

F
0 1 0 0 1 0 0 1

29

Forma cannica de una funcin, suma de productos y productos de suma

Entonces F = xyz + xyz + xyz = m1 + m4 + m7 o en su forma dual : F= m0 +m2 +m3+ m5 +m6 si complemento nuevamente vuelvo a obtener F=(F) =(m0 +m2 +m3+ m5 +m6 ) aplicando el teorema de Morgan: F=(m0 +m2 +m3+ m5 +m6 ) = m0 m2 m3 m5 m6 =M0M2M3M5M6 expresar tambin F en su otra forma cannica. y puedo

30

Forma cannica de una funcin, suma de productos y productos de suma

Cabe sealar que cada maxitrmino es un complemento de su minitrmino correspondiente, y viceversa. Se dice que una funcin booleana expresada como suma de minitrminos o productos de maxitrminos est en forma cannica. En esta configuracin, los trminos que forman la funcin deben contener todas las variables presentes en la funcin. Otra forma de expresar una funcin booleana es su forma estndar. En esta configuracin, los trminos que forman la funcin podran contener una, dos o cualquier nmero de variables presentes en la funcin. Adems tambin hay dos tipos de formas estndar: la suma de productos y el producto de sumas.

31

Ejemplos

para

resolver

en

clase:

Morris Mano, 2-1 :1,2,3,4 2-2/2.4/2.5

32

Algebra de Boole, leyes y teoremas

Prctica N2 Teoremas del lgebra de Boole.

33