Boole
Boole
Boole
1
Algebra de Boole
El álgebra booleana difiere del algebra ordinario, porque las variables y constantes
solo pueden tener dos valores (0 o 1), obviamente dentro de este sistema algebraico
no existen números negativos, fracciones, raíz cuadrada.
A partir del algebra de Boole podemos escribir expresiones lógicas, que describan el
estado de encendido (=1) o apagado (=0) de algún dispositivo o sistema digital.
El propósito principal de estas expresiones lógicas es escribir la relación entre las
salidas (la decisión) y las entradas (las condiciones) para el diseño de un circuito
lógico.
Teoremas booleanos
a) A∙0=0
b) A+1=1
c) A∙1=A
d) A+0=A
e) 1+1=1
f) 1+0=1
g) 1∙1=1
h) 1∙0=0
i) AA = A
j) A+A=A
k) AA̿ = 0
l) A + A̿ = 1
m) A+B=B+A
n) AB = BA
o) A + (B + C) = (A + B) + C = A + B + C
p) A(BC) = (AB)C = ABC
q) A(B + C) = AB + AC
r) (D + C)(A + B) = DA + DB + CA + CB
s) A + AB = A
t) A + A̿B = A + B
u) A̿ + AB = A̿ + B
v) A + B = A̿B̿
w) AB = A̿ + B̿
Operadores lógicos con compuertas
Compuerta AND
x=A∙B A B AB A
0 0 0 B
0 1 0
1 0 0
1 1 1
2
Compuerta OR
x=A+B A B A+B A
0 0 0
B
0 1 1
1 0 1
1 1 1
Compuerta NOT
x=A A A̿ A A̿
0 1
y = A̿
1 0
Compuerta XOR
x = A⊕B A B A⊕B A
0 0 0
B
0 1 1
1 0 1
1 1 0
Compuerta NOR
x=A+B A B A+B A
0 0 1
B
0 1 0
1 0 0
1 1 0
Compuerta XNOR
x=A⊕B A B A⊕B A
0 0 1
B
0 1 0
1 0 0
1 1 0
3
Mapas de Karnaugh
Es una herramienta grafica que se utiliza para simplificar una expresión lógica. Este
proceso de simplificación consiste en agrupar 1’s en un número que sea potencia de
2 y eliminar las variables que cambian de estado (de A a A̿ por ejemplo).
Ejemplo 1.
C̿ C
A̿B̿ 1 0
A̿B 1 0
AB 1 0
AB̿ 1 0
f = C̿
Ejemplo 2.
C̿D̿ C̿D CD CD̿
A̿B̿ 1 1 1 1
A̿B 0 0 0 0
AB 0 0 0 0
AB̿ 1 1 1 1
f = B̿
Ejemplo 3.
C̿D̿ C̿D CD CD̿
A̿B̿ 0 0 0 0
A̿B 0 1 1 0
AB 0 1 1 0
AB̿ 0 0 0 0
f = DB
Condición de ‘no importa’
Para la condición de ‘no importa’ un mapa K puede tener una variable x dentro de
sus casillas, este valor x puede tomar un valor 0 o 1, de acuerdo a las condiciones
de entrada y salida.
Ejemplo 1.
C̿D̿ C̿D CD CD̿
A̿B̿ x 0 0 x f = BC̿ + A̿CD̿
A̿B x 1 0 1
AB x 1 0 x
AB̿ 0 0 0 0
4
Ejemplo 2.
C̿D̿ C̿D CD CD̿
A̿B̿ x x 0 x
A̿B 1 1 0 1 f = BC̿ + AB + CD̿
AB 1 x 1 1
AB̿ 0 0 0 1
C B A f Max-términos
0 0 0 0 1
M1 0 0 1 0 C + B + A̿
M2 0 1 0 0 C + B̿ + A
3 0 1 1 1
M4 1 0 0 0 C̿ + B + A
5 1 0 1 1
6 1 1 0 1
M7 1 1 1 0 C̿ + B̿ + A̿