LGEBRA BOLEANA

Introduccin
El lgebra booleana est cimentada en la lgica tradicional y una de las aplicaciones principales de la
lgica est en determinar el valor de verdad (es decir la veracidad o falsedad) de ciertas proposiciones
compuestas por dos o ms proposiciones simples, ese valor de verdad estar determinado por los
valores de verdad de cada una de las proposiciones simples que forman la proposicin compuesta.
Todos los valores de verdad anteriores se pueden describir mediante tabulaciones denominadas
tablas de verdad.
Una tabla de verdad de una proposicin compuesta contiene todas las combinaciones posibles de los
valores de verdad de las proposiciones simples, donde V indica verdadero y F falso, adems que para
cada combinacin se indica el valor de verdad de la proposicin compuesta. El nmero de
combinaciones est dado por 2n donde n es el nmero de proposiciones.
En 1847 el ingls George Boole (1815-1864) publica un estudio denominado "Anlisis matemtico de
la lgica", esta obra sera, junto con otra que da a conocer en 1854 denominada "Investigacin de las
leyes del pensamiento en que estn fundamentadas las teoras matemticas de la lgica y de las
probabilidades", la base de lo que ahora conocemos como lgebra booleana, que tambin utiliza tablas
de verdad slo que cambia los smbolos utilizados para los valores de verdad; para el verdadero usa el
1 en lugar de V, y el 0 en lugar de F; y en lugar de proposiciones usa variables.
La asociacin del lgebra booleana con los sistemas digitales es la siguiente. En los primeros aos del
siglo pasado los circuitos elctricos implementados con relevadores electromagnticos adquirieron
popularidad, entonces fue necesario su estudio y sistematizacin. Estos circuitos eran redes formadas
por interruptores y contactos de relevadores cuyos nicos estados de circuito abierto y circuito cerrado,
se combinaban para trabajar de formas especficas.
Claude E. Shannon se percat de la similitud entre el funcionamiento de los circuitos y el lgebra de
Boole, y pens que se podra usar el lgebra de Boole como ayuda para disear circuitos elctricos.
As que en 1937 present como tesis de maestra la relacin entre ambas reas; su trabajo fue
adoptado inmediatamente por los diseadores de computadoras y as fueron simplificadas en la etapa
de diseo y construidas por menos dinero. Este fue el principio del desarrollo de la tecnologa digital
que actualmente se aplica en reas como la informtica, electrnica, telecomunicaciones, y muchas
ms.
Operadores Lgicos
A diferencia del lgebra normal en la que las variables pueden tomar infinitos valores, las variables del
lgebra booleana slo pueden tomar 2 valores que son falso y verdadero. Frecuentemente el falso se
interpreta como interruptor abierto, dispositivo apagado, nivel
bajo de voltaje y cero lgico; mientras que el verdadero se
considera un interruptor cerrado, dispositivo encendido, nivel
alto de voltaje y uno lgico.
Por ejemplo en nuestras casas un interruptor (apagador),
cuando est abierto (cero lgico) el foco est apagado; si el
interruptor es movido a la posicin de cerrado (uno lgico) el
foco enciende.
Las variables booleanas pueden manipularse por medio de
operadores similares a los del lgebra normal, llamados
operadores lgicos.

17

Operador Lgico And

Est definido para 2 o ms variables lgicas (booleanas), su representacin es la siguiente
F = A B = AB = A B = A B

la que usaremos es la subrayada

Puede relacionarse con los trminos producto lgico, conjuncin, e interseccin; su comportamiento lo
obtendremos con el siguiente circuito
La nica combinacin que hace que el LED encienda es
aquella en la que ambos interruptores estn cerrados.
A B

F = AB

0 0

0 1

1 0

1 1

1 - Encendido - circ. cerrado

0 - apagado - circ. abierto
El and es verdadero cuando todas sus variables o condiciones son verdaderas; y es falso en cualquier
otro caso (con al menos una variable falsa, el and es falso).
Operador Lgico Or
Est definido para 2 o ms variables lgicas (booleanas), su representacin es la siguiente
F = A+ B = A B = A B

la que usaremos es la subrayada

Puede relacionarse con los trminos suma lgica, disyuncin, y unin; su comportamiento lo
obtendremos con el siguiente circuito.
Las combinaciones que hacen que el LED encienda son
aquellas en las que uno de los interruptores o ambos estn
en posicin de cerrado.
A B

F = A+ B

0 0

0 1

1 0

1 1

1 - Encendido - circ. cerrado

0 - apagado - circ. abierto
El or es verdadero cuando al menos una de sus variables o condiciones es verdadera, y falso en el
caso que todas sean falsas
Operador Lgico Not
Esta definido para una sola variable booleana y su funcin consiste en cambiar el valor de verdad de
una variable, se relaciona con los trminos negacin y complemento; tambin se le conoce como
inversor o complementador. Su representacin es la siguiente
F = A = A' = ~A = A

la que usaremos en clase es la encerrada; en estos apuntes por

comodidad usaremos la subrayada.
18

Las expresiones ms simples consisten en una sola variable o constante, por ejemplo: A, B', 1
La formacin de expresiones mas complicadas se lleva a cabo combinando expresiones simples por
medio de: And's, Or's y Not's. Por ejemplo:
1) A + BC

2) A ( B' + C )

Jerarqua de los operadores lgicos

1) NOT
2) AND
3) OR
Para alterar esta prioridad se usan los parntesis.
Evaluemos las siguientes expresiones con los valores de A = 1, B = 0 y C = 0
1) AB + BC' + AB'
10 + 00' + 10'
10 + 01 + 11
0 + 0 + 1
1

sustituyendo valores
evaluando los not
evaluando los and
evaluando los or

2) A (BC' + C' (B' + A')) + A'B

1 (00' + 0' (0' + 1')) + 1'0
1 (00' + 0' (1 + 0)) + 1'0
1 (00' + 0' ( 1 )) + 1'0
1 (01 + 11) + 1'0
1 ( 0 + 1) + 1'0
1 1 + 1'0
11 + 00
1 +0
1

sustitucin de valores
evaluacin not parntesis interno
evaluacin or parntesis interno
evaluacin not siguiente parntesis
evaluacin and del parntesis
evaluacin or del parntesis
evaluacin not de la derecha
evaluando los and
evaluacin del or

Teoremas del lgebra booleana

T. de identidad
1) A + 0 = A
2) A 1 = A

T. de idempotencia
3) A + A = A
4) A A = A

T de unos y ceros
5) A +1 = 1
6) A 0 = 0

T. de complementacin
7) A + A' = 1
8) A A' = 0
9) (A')' = A

Son de gran utilidad en la simplificacin de funciones booleanas y al probar la equivalencia de dos

diferentes funciones lgicas. Dos expresiones son equivalentes si para la misma combinacin de
valores de verdad ambas son iguales a 1 o iguales a 0. Dos expresiones son complementarias entre s
cuando para la misma combinacin de valores de verdad, una es igual a 1 y la otra es igual a 0, y
viceversa.
La prueba por induccin perfecta sirve para probar la equivalencia de dos expresiones booleanas.
Se lleva a cabo elaborando la tabla de verdad para cada expresin y compararlas. Si las dos tablas
son idnticas, las expresiones son equivalentes.
19

En lgebra booleana existe el principio de dualidad. Si se observan los primeros 8 teoremas estn
dados en pares. Cada uno de ellos es el dual del otro. Para formar el dual de un teorema o de una
expresin se siguen los siguientes pasos.
a) Las variables se dejan igual; b) se intercambian los OR por AND y los AND por OR; c) se
intercambian los ceros por unos y los unos por ceros.
Por ejemplo el dual de 1 A + B'C + 0 es (0 + A) (B' + C) 1
No hay ninguna relacin general entre los valores de expresiones duales, ambas pueden ser
equivalentes, pueden ser complementarias o ninguna de las dos. Los duales son de inters principal
en el estudio de los teoremas del lgebra booleana y en los procedimientos de simplificacin.
T. de De Morgan
10) (A + B)' = A' B'
Tarea: Demostrarlos con tablas de verdad
11) (A B)' = A' + B'
Este teorema es til para obtener de una expresin booleana sus funciones complementaria y
equivalente aplicando los siguientes pasos, aunque antes debemos poner parntesis entre los
trminos para no alterar el orden de evaluacin
Complementaria
Cambie los and por or.
Cambie los or por and.
Complemente todas las variables

Equivalente
Los tres pasos anteriores y luego
Niegue toda la funcin

Ejemplos
Funcin
F = A' + B
F = B' + BC
Dual
F = A' B
F = B' (B + C)
Complementaria
F = A B'
F = B (B' + C' )
Equivalente
F = (A B' )'
F = ( B (B' + C' ) )'
Comprobarlo con tablas de verdad
Anteriormente vimos que la evaluacin de una expresin booleana; si nos dan los valores que
asignaremos a cada variable, se hace sustituyendo los valores de 0 y 1 para cada variable. En caso
que no nos provean los valores de verdad de las variables, una tabla de verdad es un mtodo til para
hacer la evaluacin debido a que muestra todas las posibles combinaciones de los valores de verdad
de las variables y su salida.
Tarea: Hacer la evaluacin de las siguientes funciones. Obtener las funciones Dual, equivalente y
complementaria
X = A(B+C)
F = A B' + A' C
Y = AB + A'B'
Z = (A'B'C') + BCD AC'+ (A'D' +BD)'
G = { (A + B + C ) [(A + C ) + (B C)] }
Leyes fundamentales
Ley asociativa
(A + B) + C = A + (B + C) = A + B + C

20

(A B) C = A (B C) = A B C

Ley conmutativa
A+B=B+A

AB=BA

Ley distributiva
A (B + C) = A B + A C

A + (B C) = (A + B) (A + C)

La aparente equivocacin de la ltima igualdad la eliminamos con la siguiente comprobacin

A+ BC = ( A + B ) ( A + C )
= AA + AC + BA + BC
= A + AC + AB + BC
= A ( 1 + C + B ) + BC
= A 1 + BC
= A + BC
De manera anloga al algebra convencional (a. c.), podemos formar expresiones boolenas
combinando variables y operadores booleanos. Como hemos visto en las leyes, podemos asociar el
operador lgico and (producto lgico) con el producto del a. c.y el operador lgico or (suma lgica) con
el de la suma del a. c.
La jerarqua de los operadores lgicos es 1)Not 2)And 3)Or y si deseamos alterar ese orden podemos
usar los parntesis como en el a. c. A cada expresin booleana le corresponde un circuito de
compuertas lgicas. Obtenga el circuito para las siguientes expresiones booleanas
F= A'B + AB'

F=(A B) + (A C' )

F= (ABC + B'C'D) A'C + (A'D + B'D' )

Una funcin lgica cualquiera puede expresarse de muchas formas distintas (circuito esquemtico,
ecuacin, tabla de verdad), entre las que podemos distinguir dos, que se representan por medio de
una suma de productos lgicos ( cada trmino es un producto lgico) o por medio de un producto de
sumas lgicas (cada trmino es una suma lgica). Cada trmino tendr todas las variables que
intervienen en la funcin.
Suma de Productos lgicos (SOP)
Se obtiene con aquellas combinaciones que en la funcin (F) tengan el valor de 1.
Cada combinacin (ceros y unos) nos indicar variables negadas y afirmadas respectivamente.
El operador lgico que une las variables es el AND, y as formamos cada trmino.
Relacionamos todos los trminos con el OR, y as obtenemos la funcin en suma de productos.

21

Producto de Sumas (POS)

Se obtiene con aquellas combinaciones que en la funcin (F) tengan el valor de 0.
Cada combinacin (ceros y unos) nos indicar variables afirmadas y negadas respectivamente.
El operador lgico que une las variables es el OR, y as formamos cada trmino.
Relacionamos todos los trminos con el AND, y as obtenemos la funcin en producto de sumas.
A

A'B'C'

A'B'C

A' + B' + C

A' + B' + C'

F = A'B'C' + A'B'C + A'BC + AB'C

SOP

A + B' + C
A'BC

F= (A + B' + C) (A' + B + C) (A' + B' + C) (A' + B' + C')

POS

A' + B + C
AB'C

Minitrminos, Maxitrminos y formas cannicas

Veamos las tablas de verdad (T de V) del And y del Or.
A B

F =AB

combinacin

A B

F = A+ B

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

En la T de V del And, como slo hay un 1 en F (la combinacin 3), obtenemos la funcin lgica en
suma de productos, que sera F = A B.
Mientras que en la T de V del Or como slo hay un 0 en F (en la combinacin 0), obtenemos la funcin
lgica en producto de sumas: F = A + B.
Note que con el And se obtiene lo mnimo de los dos bits, mientras que con el Or se obtiene lo mximo
de los dos bits. Por esto a los trminos de las funciones cuyas variables estn relacionadas (unidas)
por un AND se les llama Minitrminos; y a los trminos de las funciones cuyas variables estn
relacionadas (unidas) por un OR se les llama Maxitrminos.
Cuando una funcin se expresa en minitrminos tambin recibe el nombre de 1 forma cannica, y si
las funcin se expresa en maxitrminos tambin recibe el nombre de 2 forma cannica.
La representacin sera de la siguiente manera.
Minitrminos o
1 forma cannica
F = m3

Maxitrminos o
2 forma cannica
F = M0

En conclusin observa que la SOP se relaciona con la primera forma cannica, mientras que la POS
se relaciona con la segunda forma cannica.

22

De la siguiente T de V obtenga la funcin en SOP y la 1. Forma cannica (1FC).

A

F= ABC + A'BC + ABC' + ABC

F= m(0,3,4,5)

Ahora obtngala en POS y tambin la 2. Forma

cannica (2FC).
F = (A+B+C' ) (A+B'+C) (A'+B'+C) (A'+B'+C')
F= M(1,2,6,7)

De las siguientes T de V obtenga las funciones en SOP y en POS as como las 2 formas cannicas
A B C F
X Y Z G
0

De las siguientes expresiones obtenga la T de V y alguna funcin SOP o POS.

F= m(1, 3, 6, 8)

F= M(0, 5, 7, 9).

F= m(1, 2, 4, 7, 10, 12, 13, 14, 15)

F= M(0, 1, 5, 6, 7, 10. 11, 14).

23