Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Postulados de Huntington
El álgebra booleana es una estructura algebraica definida por un conjunto de
elementos, B, junto con dos operadores binarios,+ y ۰, a condición de que se satisfagan
los postulados siguientes (de Huntington):
1. a) Cerradura respecto al operador +.
b) Cerradura respecto al operador ۰.
2. a) Un elemento de identidad con respecto a +, designado por 0: x + 0 = 0 + x = x.
b) Un elemento de identidad con respecto a ۰, designado por 1: x ۰ 1 = 1 ۰ x = x.
3. a) Conmutativa respecto a +: x + y = y + x.
b) Conmutativa respecto a ۰: x ۰ y = y ۰ x.
4. a) ۰ es distributivo sobre +: x ۰ (y + z) = (x ۰ y) + (x ۰ z).
b) + es distributivo sobre ۰: x + (y ۰ z) =(x + y) ۰ (x + z).
5. Para cada elemento x ϵ B, existe un elemento x’ ϵ B (llamado complemento de x) tal
que a) x + x’ = 1 y b) x ۰ x’ = 0.
6. Existen por lo menos dos elementos x, y ϵ B tales que x ≠ y.
Teorema 1a
x+x=x
Deducción:
x + x = (x + x) ۰ 1 por el postulado 2(b) de Huntington
= (x + x) ۰ (x + x’) 5(a)
= x + (x ۰ x’) 4(b)
=x+0 5(b)
=x 2(a)
x۰x=x
Deducción:
x ۰ x = (x ۰ x) + 0 por el postulado 2(a) de Huntington
= (x ۰ x) + (x ۰ x’) 5(b)
= x ۰ (x + x’) 4(a)
=x۰1 5(a)
=x 2(b)
Postulado 2 a) x + 0 = x b) x ۰ 1 = x
Postulado 5 a) x + x’ = 1 b) x ۰ x’ = 0
Teorema 1 a) x + x = x b) x ۰ x = x
Teorema 2 a) x + 1 = 1 b) x ۰ 0 = 0
Teorema 3, involución (x´)’ = x
Postulado 3, conmutatividad a) x + y = y + x b) xy = yx
Teorema 4, asociatividad a) x + (y + z) = (x + y) + z b) x(yz) = (xy)z
Postulado 4, distributividad a) x(y + z) = xy + xz b) x + yz = (x + y)(x + z)
Teorema 5, DeMorgan a) (x + y)’ =x’y’ b) (xy)’=x’ + y’
Teorema 6, absorción a) x + xy = x b) x(x + y) = x
2.2 Algebra de Boole.
2.2.3 Función lógica: definición y
representación.
Una función booleana descrita por una expresión algebraica consta de
variables binarias, las constantes 0 y 1, y los símbolos lógicos de
operación. Para un valor dado de las variables binarias, la función puede
ser igual a 1 o bien a 0. Considere por ejemplo esta función booleana:
F1 = x + y’z
x = A’
Tabla de
verdad
Formas de onda
Símbolo
Compuerta OR (O).
x=A+B
Tabla de verdad
Formas de onda
Símbolo
2.3 Compuertas y familias lógicas.
Ejemplo de aplicación
compuerta OR
x = AB
Tabla de verdad
Formas de onda
Símbolo
2.3 Compuertas y familias lógicas.
2.3.2 Compuestas (NAND y NOR)
Compuerta NOR.
x=A+B
Tabla de verdad
Formas de onda
inversión
Símbolo
2.3 Compuertas y familias lógicas.
2.3.2 Compuestas (NAND y NOR)
Compuerta NAND.
x = AB
Tabla de verdad
Formas de onda
inversión
Símbolo
2.3 Compuertas y familias lógicas.
Ejemplo de aplicación con
compuerta NAND
Una planta de fabricación utiliza dos
tanques para almacenar un
determinado líquido químico que se
requiere en un proceso de fabricación.
Cada tanque dispone de un sensor
que detecta cuándo el nivel del líquido
cae al 25% del total. Los sensores
generan una tensión de 5 V cuando los
tanques están llenos por encima del
25%. Cuando el volumen de líquido en
el tanque cae por debajo del 25%, el
sensor genera un nivel de 0 V.
En el panel indicador se requiere un
diodo emisor de luz (LED,
Light−Emitting Diode) verde que
indique que el nivel de ambos tanques
está por encima del 25%. Como se
indica, se puede utilizar una puerta
NAND para implementar esta función. 2.3 Compuertas y familias lógicas.
Continuación
Símbolo Símbolo
Las principales diferencias en las diversas series TTL tienen que ver con sus características
eléctricas tales como la disipación de potencia y la velocidad de conmutación.