Documentos de Académico
Documentos de Profesional
Documentos de Cultura
- lgebra de Boole
ALGEBRA DE BOOLE
En 1847 un matemtico ingls autodidacta llamado George Boole (1815 1864), desarrolla unos
smbolos matemticos con unas reglas que pueden ser aplicadas en problemas de lgica deductiva.
Hacia el ao 1854, public un libro en el que explicaba cmo convertir las proposiciones lgicas en
smbolos matemticos y cmo aplicar ciertas reglas muy simples para determinar la verdad o falsedad
de proposiciones relacionadas entre s.
La matemtica desarrollada por Boole se conoce en la actualidad como lgebra booleana,
lgebra de Boole lgica simblica.
Despus de su muerte, algunos matemticos perfeccionaron su sistema para hacerlo ms
utilizable, nos interesa particularmente la aplicacin que en 1938 ide el cientfico Claude E. Shannon.
En su tesis de graduacin del Instituto Tecnolgico de Massachuset, Shannon demostr cmo poda
aplicarse el lgebra de Boole al diseo y la simplificacin de los rels y circuitos de conmutacin que
se utilizan en los complejos circuitos que forman las computadoras electrnicas, pues permite
simplificar las conexiones fsicas reduciendo el hardware y consiguientemente el espacio necesario
para alojarlo.
En este tema nos ocuparemos brevemente de esta lgica de la conmutacin, como podramos
llamarla, pero limitndonos a los circuitos de conmutacin y las compuertas (llamadas tambin
puertas lgicas). Nos interesa la lgica del circuito, no la electrnica.
No obstante, los conceptos que expondremos a continuacin son los mismos que se aplican a la
pelcula delgada, los ncleos magnticos, los transistores y dems componentes de los circuitos
empleados en las computadoras.
Para facilitar la discusin de los circuitos de conmutacin, recurriremos a la siguiente notacin:
Circuito elctrico; la flecha indica el sentido de
circulacin de la corriente.
Circuitos en paralelo
En los circuitos en paralelo basta con que uno de los interruptores est cerrado para que pueda circular
la corriente:
X
Y
Z
No se indicarn las fuentes reales de corriente. Para facilitar la explicacin, supongamos que la fuente de corriente se
encuentra a la izquierda y que la direccin del flujo o paso de corriente es de izquierda a derecha.
Ing. Miguel ngel Durn Jacobo
2
Uso de tablas
Los resultados del ejemplo de circuito en serie, pueden presentarse de manera sencilla y clara
recurriendo a una tabla como la siguiente.
A
CORRIENTE
Abierto
Abierto
No pasa
Abierto
Cerrado
No pasa
Cerrado
Abierto
No pasa
Cerrado
Cerrado
Pasa
AB
As:
A B = 1 slo cuando A = 1 y B = 1.
A B = 0 en cualquier otro caso.
Es preciso recordar que en un circuito en serie con dos interruptores, solo circula corriente
cuando los dos interruptores estn cerrados. En cualquier otro caso, no hay paso de corriente.
CORRIENTE
Abierto
Abierto
No pasa
Abierto
Cerrado
Pasa
Cerrado
Abierto
Pasa
Cerrado
Cerrado
Pasa
A+B
En otros trminos:
A + B = 1 si o A es 1, o B es 1, o si ambos son 1.
A + B = 0 solo si tanto A como B = 0.
Aunque el resultado 1 + 1 = 1 pueda parecer extrao, es necesario tener presente que no se trata
de una adicin aritmtica, sino de la operacin lgica O. Con esta observacin, el resultado ser ms
fcil de aceptar.
Lo que se escribe:
AB+C
Rotule el circuito de la derecha. Obsrvese
que el interruptor P debe estar
necesariamente cerrado para que circule la
corriente. De los otros interruptores (Q y R),
basta con que uno est cerrado. Luego el
rtulo es: P y (Q o R).
Que se escribe:
P (Q + R)
Advirtase tambin que en esta expresin es necesario utilizar parntesis, porque la jerarqua de
las operaciones es la misma que en aritmtica: multiplicacin antes que la adicin (Y antes que
O). Si no usramos parntesis y escribiramos P Q + R, estaramos rotulando el circuito
siguiente:
El rtulo ha de indicar en todos los casos las condiciones en que hay corriente.
Ing. Miguel ngel Durn Jacobo
Siguiendo el camino de la corriente, observamos que para que sta pueda circular, deben
cumplirse dos condiciones necesarias:
1. Por lo menos uno de los interruptores A, B debe estar cerrado.
2. Por lo menos uno de los interruptores C, D debe estar cerrado.
Luego lo que necesitamos es (A o B) y (C o D); es decir, el rtulo es:
(A + B) (C + D)
Ejemplo: Dibuje un circuito que represente la expresin booleana (A B) (C + D).
(A B)
(C + D)
y
A
B
D
B
D
B
C
BATERA
4. Rotule
6. Rotule
A
7. Rotule
B
A
D
8. Represente grficamente (A + B + C) (D + E F) + G.
9. Represente grficamente A (B D + E + C F).
10. Represente grficamente X + Y + W Q + R.
11. Rotule
G
E
Comentarios importantes
a) De los axiomas anteriores se deducen las siguientes tablas para las operaciones ( + ) y
( ).
Suma lgica
Producto lgico
(+)
()
As
0+0=0
00=0
0+1=1
01=0
1+0=1
10=0
1+1=1
11=1
10
b) Para que el lgebra de Boole anterior sea aplicable a circuitos lgicos se define un conjunto
A de dos elementos como A = {0, 1}, con las operaciones ( + ) y ( ). En consecuencia, las
variables a, b, c, que utilizamos son variables binarias, y slo pueden tomar un valor de
entre dos posibles valores que son 0 y 1.
Al lgebra de Boole de varias variables binarias se le denomina lgebra de
Boole binaria. A partir de ahora supondremos que seguimos trabajando con esta lgebra.
c) La operacin producto lgico ( ) muchas veces se omitir, dejndose sobreentendida si se
escriben varias variables seguidas; as por ejemplo, son equivalentes las expresiones
siguientes:
a (b + c) = a b + a c a (b + c) = a b + a c
d) Se supondr, al igual que en el lgebra ordinaria, que la operacin ( ) es prioritaria sobre
la ( + ), salvo que esta prioridad se altere por medio de los parntesis. As:
a (b + c)
es lo mismo que a + (b c)
y es diferente a (a + b) c
Teoremas
Por medio e los axiomas anteriores, se pueden demostrar los siguientes teoremas dados en la tabla.
Teorema 1: Dualidad
Se puede pasar de una propiedad a otra anloga (dual) intercambiando entre s las operaciones ( + )
y ( ).
As por ejemplo, la dual de a + 0 = a es a 1 = a
Esto es lgico, pues si hemos demostrado una propiedad, la dual se puede demostrar haciendo los
pasos duales de la citada demostracin.
Suma
Producto
Teorema 2: Idempotencia
a+a=a
aa=a
a+1=1
a0=0
Teorema 4: Absorcin
a + (a b) = a
a (a + b) = a
Teorema 5: Asociatividad
a + (b + c) = (a + b) + c)
a (b c) = (a b) c)
Teorema 6: Complementarios de 0 y 1
~0=1
~1=0
~ (~ a ) = a
~ (a + b) = ~ a ~ b
~ (a b) = ~ a + ~ b
a+~ab=a+b
a (~ a + b ) = a b
11
Demostracin:
Partiremos del segundo miembro de la igualdad para llegar al primer miembro, aplicando los
axiomas del lgebra de Boole.
Pondremos a la izquierda los pasos de la demostracin y a la derecha el axioma o teorema
aplicado.
a=
Por A2):
a+0=a
=a+0=
Por A4):
a+~a=0
=a+a~a
Por A3):
a + (b c) = (a + b) (a + c)
= (a + a) (a + ~ a) =
Por A4):
a+~a=1
= (a + a) 1 =
Por A2):
a1=a
=a+a
Con lo que queda demostrada la idempotencia de la suma lgica.
RELACIN ENTRE LGEBRA DE CONJUNTOS, LGEBRA DE PROPOSICIONES Y LGEBRA DE BOOLE BINARIA
Hemos obtenido en los temas anteriores los siguientes resultados:
El conjunto de las partes de un conjunto tiene estructura de lgebra de Boole, con las
operaciones unin e interseccin, y las propiedades de la complementacin.
El conjunto de las proposiciones lgicas tiene estructura de lgebra de Boole con los
conectivos disyuncin, conjuncin y negacin.
Las equivalencias entre las operaciones de estos tres lgebras se ponen de manifiesto en la
siguiente tabla.
lgebra de conjuntos
lgebra de proposiciones
lgebra de Boole
Unin
( )
Disyuncin
( )
Suma
Interseccin
()
Conjuncin
()
Producto
Conjunto vaco
( )
Falso
(F)
Elemento 0
(0)
Conjunto universal
(U)
Verdadero
(V)
Elemento 1
(1)
Complemento
( ~ ) Negacin
(~)
Complementario
(~)
(+)
()
12
a+b
(a + b) + 1 = 1
ab
ab0=0
a+b+1=
= ( a + b )+ 1 =
=1
Asociativa
A + 1 = 1 (siendo A = a + b)
ab 0=
=(ab)0=
=0
Asociativa
A 0 = 0 (siendo A = a b)
Ntese que ambas demostraciones son anlogas debido a la dualidad existente entre las operaciones.
FUNCIONES DE BOOLE
Veamos ahora otras tcnicas como aplicacin de las funciones de Boole, que principalmente se usan en
el diseo y simplificacin de circuitos lgicos digitales en los que est basada la arquitectura bsica de
la computadora.
Estas tcnicas permiten simplificar las funciones booleanas y, de esta forma, conducen luego a
circuitos digitales ms sencillos y, por tanto, a circuitos lgicos que ocupan menos espacio (es decir,
permiten la construccin de computadoras de menor tamao).
13
CIRCUITO
Voltaje B
Voltaje C
0 voltios
0 voltios
10 voltios
10 voltios
0 voltios
10 voltios
0 voltios
10 voltios
0 voltios
10 voltios
10 voltios
10 voltios
Esta es la situacin real, pero conviene olvidarse por ahora de los estados elctricos y trabajar
con estados lgicos de 0 y 1.
Tomando lo que se denomina lgica positiva se asocia:
0
0
1
1
0
1
0
1
0
1
1
1
Y, como se ve, la salida C obtiene la suma lgica de las entradas A y B, es decir, que la funcin
que realiza ese circuito es
C=A+B
Que en electrnica digital se corresponde con la puerta OR
14
En electrnica digital se dispone de las puertas elementales que se detallan en la tabla siguiente,
con las que es posible trasladar cualquier funcin de Boole a un circuito electrnico.
Puerta
Funcin
Descripcin
NOT
~A
AND
AB
Producto
OR
A+B
Suma
XOR
A ~B + ~A B
NAND
~( A B )
NOR
~( A + B )
Complemento de la suma
Complemento
Suma exclusiva
Cada compuerta es un circuito que acepta una entrada o ms, en forma de impulso (1) o impulso
invertido (0), y proporciona una salida del mismo tipo, es decir, impulso o impulso invertido (1 o 0).
ENTRADAS
CIRCUITO
SALIDA
Compuerta Y (AND)
La compuerta Y equivale a un circuito en serie. Produce como salida un impulso (1), si hay
impulso en todas sus entradas. El smbolo que sigue es el que se usa corrientemente para representar
una compuerta Y con dos entradas.
A
AB
15
Compuerta O (OR)
La compuerta O equivale a un circuito en paralelo, pues da como salida un impulso cuando
cualquiera de sus entradas es un impulso. El impulso utilizado normalmente para representar una
compuerta O con dos entradas es el que figura a continuacin.
A
A+B
B
Inversor (Complemento)
El inversor da como salida el estado opuesto al de entrada. Si la entrada es un impulso, la salida
es un impulso invertido y viceversa. Simblicamente, decimos que a la entrada A corresponde la salida
~A. ~A representa A invertido, es decir, el complemento de A. El smbolo es el que aparece a
continuacin.
A
~A
~ (A B)
~ (A B)
NO-Y
AB
~(A B)
16
Compuerta NI (NOR)
La compuerta NI est formada por una compuerta O seguida de un inversor.
A
A+B
~(A + B)
El smbolo usual es
A
~(A + B)
B
NI
A+B
~(A + B)
A ~B
B
A ~B + ~A B
A
B
~A B
B
17
Simplificando
A ~B
A
B
A ~B + ~A B
A
B
~A B
~A
~B
A ~B
~A B
A ~B + ~A B
18