El álgebra booleana, puede definirse con un conjunto de elementos, un conjunto de operadores y un
número de axiomas no probados o postulados. A continuación se presentan los principales
teoremas y postulados del álgebra booleana:
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
SISTEMAS DIGITALES
Teorema 3, involución (x')' = x (b) x y = y x
Postulado 3, conmutativo (a) x + y = y + x (b) x (y z) = (x y) z
Teorema 4, asociativo (a) x + (y + z) = (x + y) + z (b) x + y z = (x + y)(x + z)
Postulado 4, distributivo (a) x (y + z) = x y + x z (b) (x y)' = x' + y'
Teorema 5, de De Morgan (a) (x + y)' = x' y' (b) x (x + y) = x
Teorema 6, absorción (a) x + x y = x
MAPAS DE KARNAUGH.
El mapa des un diagrama compuesto por cuadros. Cada cuadro representa un minitérmino. Ya que
cualquier función booleana puede representarse como una suma de minitérminos, se concluye que
una función booleana puede representarse como una suma de minitérminos, se concluye que una
función booleana se reconoce en forma gráfica por el área encerrada en los cuadros cuyos
minitérminos se incluyen en la función. De hecho, el mapa representa un diagrama visual de todas
las formas posibles en que puede expresarse una función en una manera estándar.
La numeración de los cuadros en el mapa de Karnaugh se numeran en una secuencia de código
reflejado, con solo cambiando de valor entre dos renglones adyacentes o columnas; en la siguiente
figura se ilustra la manera como quedaría representado:
m0 m1 m3 m2
m4 m5 m7 m6
m12 m13 m15 m14
m8 m9 m11 m10
Se definen cuadros adyacentes para que sean cuadros juntos entres sí. Además, se considera que
el mapa cae en una superficie en las orillas superior e inferior, al igual que en las orillas derecha e
izquierda, tocándose uno a otro para formar cuadros adyacentes.
SISTEMAS DIGITALES
COMPUERTAS LÓGICAS DIGITALES.
Nombre Símbolo Gráfico Función Algebraica Tabla de Verdad
XYF
000
AND F=XY 010
100
111
XYF
000
OR F=X+Y 011
101
111
XF
ERSOR F = X' 01
10
XYF
001
NAND F = (X Y)' 011
SISTEMAS DIGITALES
101
110
XYF
NOR F = (X + Y)'
001
010
100
110
XYF
000
XOR F = X' Y + X Y' 011
101
110
XYF
001
XNOR F = X Y + X' Y' 010
100
111
SISTEMAS DIGITALES