Escolar Documentos
Profissional Documentos
Cultura Documentos
Booleana
Electrónica Digital 5815
Dra. Mónica Huerta.
mhuerta@ups.edu.ec
Material basado en: Ronald J. Tocci, et.al., Sistemas Digitales: Principios y Aplicaciones. Décima Edición.
Constantes y variables booleanas
Algebra booleana:
Tabla de verdad:
Expresión booleana:
X=A+B
“X es igual a A OR B”
El resultado es 1 siempre que
cualquiera de sus entradas sea
igual a 1
Operación OR
Operación AND
Expresión booleana:
X=A.B
“X es igual a A AND B”
El resultado es 1 siempre que todas
sus entradas sea igual a 1
Operación AND
Operación NOT
Expresión booleana:
Precedencia:
X= A.B+C
X= (A+B).C
Descripción de circuitos lógicos
Descripción de circuitos lógicos
Evaluación: Reglas
ENTRADAS
POSIBLES COMBINACIONES
Evaluación de las salidas de circuitos lógicos
Mediante el uso de tablas de verdad
Expresión booleana:
X=A+B
Compuerta NOR
Compuerta NAND
Expresión booleana:
X=A.B
Compuerta NOR
Teoremas Booleanos
Teoremas con una sola variable:
Teoremas Booleanos
Teoremas con múltiples variables:
Ley conmutativa:
A+B=B+A
A.B=B.A
Teoremas Booleanos
Teoremas con múltiples variables:
Ley asociativa:
A + ( B + C ) = (A + B ) + C
A (BC) = (AB)C
Teoremas Booleanos
Teoremas con múltiples variables:
Ley distributiva:
A ( B + C ) = A B + AC
Teoremas Booleanos
Reglas básicas del álgebra booleana:
Teoremas Booleanos
Simplifique la expresión: y= A B D + A B D
IGUAL A 1
y=AB(D+D)
y=AB
Simplifique la expresión: y= A C D + A B C D
y= C D ( A + A B )
y= C D ( A + B)
y= ACD + BCD
Teoremas de DeMorgan
El complemento de un producto de variables es igual a la suma de los complementos de las variables
XY = X + Y
El complemento de una suma de variables es igual al producto del complemento de las variables
X+Y =X.Y
Teoremas de DeMorgan
Teoremas de DeMorgan
Universalidad de las compuertas NAND y NOR
Las compuertas NAND pueden usarse para implementar cualquier función booleana.
Universalidad de las compuertas NAND y NOR
Las compuertas NOR pueden usarse para implementar cualquier función booleana.
Símbolos lógicos alternativos
Símbolos lógicos del estándar IEEE/ANSI