Introducción Al Algebra de Boole

1
NOTAS DE CLASE
Introduccin al lgebra de Boole.
TEMAS
Pag.
INTRODUCCIN
2.1 OPERACIONES Y COMPUERTAS DEL LGEBRA DE BOOLE

2.1.1 Operaciones y compuertas fundamentales
2.1.1.1
Operacin y Compuerta AND (Y).
5
5
5
2.1.1.2
Operacin y compuerta OR (O).
2.1.1.3
Operacin y Compuerta NOT (no, inversor)
2.2.2 Otras operaciones y compuertas lgicas
10
11
2.2.2.1 Operacin y Compuerta XOR (o excluyente).
11
2.2.2.2 Compuerta NAND (AND negada)
13
2.2.2.3 Compuerta NOR (OR negada)
15
2.2.2.4 Compuerta NXOR (XOR negada).
17
Prctica 2.1
22
2.2 LEYES DEL LGEBRA DE BOOLE
24
2.2.1 Postulados o axiomas del lgebra de Boole
26
2.2.2 Teoremas del lgebra de Boole
26
Prctica 2.2
33
2.3 FUNCIONES DE BOOLE Y SU SIMPLIFICACIN
34
2.3.1 Simplificvacin algebraica
37
Prctica 2.3
48
2.3.2 Simplificacin mediante el Mapa de Karnaugh
49
2.3.2.1 Mapa para la suma de productos
49
Prctica 2.4
5.5
Cunto sabemos? Evaluacin Saber Pro
59
BIBLIOGRAFIA
TOCCI, Ronald. Sistemas digitales. Principios y aplicaciones. Mxico: Prentice

Hall, ed 6, 833 p.
BARCO, Carlos. Algebra de Boole. Aplicaciones tecnolgicas. Manizales,
Colombia. Universidad de Caldas. Bajado de:
https://books.google.com.co/books?id=x4EZbp4gnwgC&printsec=frontcover&
dq=algebra+de+Boole.+Aplicaciones+tecnol%C3%B3gicas.+Universidad+de+
Caldas&hl=es&sa=X&ved=0CBwQ6AEwAGoVChMIjOvQrH5xwIVibgeCh12HAUm#v=onepage&q=algebra%20de%20Boole.%20Aplica
ciones%20tecnol%C3%B3gicas.%20Universidad%20de%20Caldas&f=false
George Boole, 1815-1864.

George Boole. El lgico y matemtico George
Boole, 1815-1864 aplica el clculo matemtico
a la lgica, fundando el lgebra de la lgica. En
cierto modo realiza el sueo de Leibniz de una
characteristica universalis o clculo del
raciocinio. El empleo de smbolos y reglas
operatorias adecuados permite representar
conceptos, ideas y razonamientos mediante variables y relaciones
(ecuaciones) entre ellas. Boole dio un mtodo general para formalizar la
inferencia deductiva, representando complicados raciocinios mediante
sencillos sistemas de ecuaciones. As, la conclusin de un silogismo se
Cicern Jimnez Sierra
encuentra eliminando el trmino medio de un sistema de tres ecuaciones,

conforme a las reglas del lgebra comn.
La formalizacin de la lgica, iniciada por Boole, ha contribuido
poderosamente a aclarar la estructura de los objetos lgicos, en
contraposicin a los materiales y aun en contraposicin a los matemticos,
pese a las analogas formales entre la matemtica y la lgica, que Boole
seal. Su obra principal es Investigacin de las leyes del pensamiento en
las que se fundan las teoras matemticas de la lgica y la probabilidad,
1854, que an hoy se lee con deleite.
INTRODUCCIN
El lgebra de Boole estudia tcnicas algebraicas para tratar expresiones de la lgica
proposicional con el fin de resolver ms rpidamente problemas de diseo electrnico. Es
una estructura matemtica definida con variables binarias A, B, C, x, y, z, en un
conjunto 0,1 y con tres operaciones AND, OR, y NOT en con un significado lgico,
verdadero - falso.
La ingeniera utiliza el lgebra de Boole para describir matemticamente la manipulacin
y el proceso de informacin binaria. Para ello establece una relacin entre el lgebra de
Boole, los circuitos lgicos y las seales elctricas binarias. [Morris pag 29]
En los sistemas electrnicos digitales, la informacin binaria se representa por medio de
voltajes o corrientes, y estn presentes en la entrada y salida de los circuitos digitales. De
acuerdo a (Tocci pag 11], el 0 y el 1 binarios se pueden representar con dos intervalos de
voltaje; por ejemplo, cualquier voltaje entre 0 y 0.8 voltios representan el 0 binario y
cualquiera entre 2 y 5 voltios representa el 1 binario. Todas las seales elctricas caen en uno
de estos dos niveles a excepcin del nivel de transicin entre 0.9 y 1.9 voltios el cual no es
utilizado tal como se muestra en la figura 2-1.
Figura 21 Discretizacin de voltajes en 0 y

1 en un proceso de digitalizacin de seales.
Figura 22 Seales digitales en el tiempo.
Al representar grficamente la presencia de estos dos voltajes 0 y 1 en el tiempo mediante

un sistema de ejes coordenados, tenemos una idea de las seales digitales que alimentan los
diferentes aparatos electrnicos modernos. En la figura 2 2, se observa que para el tiempo
0 < t < 1 el voltaje es 0, para 1 < t < 3 el voltaje es 1 y para 3 < t < 4 el voltaje es 0.
2.1
OPERACIONES Y COMPUERTAS DEL LGEBRA DE

BOOLE
2.1.2 Operaciones y compuertas fundamentales

Las operaciones fundamentales del lgebra de Boole son NOT, AND y OR.
2.1.2.1
Operacin y Compuerta AND (Y).
sta es la operacin Conjuncin del Clculo Proposicional que ahora se denota con un
punto, A . B , razn por la cual es llamada Multiplicacin Lgica. Puede omitirse el punto;
si se desea es indiferente A . B o AB . La expresin A . B o AB se lee A AND B.
Figura 23 Circuito simple AND
La figura 2-3 muestra una interpretacin grfica de sta operacin utilizando un circuito
simple con interruptores en serie. Una batera alimenta el circuito con un voltaje V y pone
los electrones del cable en movimiento produciendo corriente elctrica; si los dos
interruptores A y B se cierran, la corriente pasa y har alumbrar la bombilla C; pero si uno o
los dos estn abiertos, la bombilla permanecer apagada. Esto se concreta en la siguiente
tabla.
A . BC
A . BC
Abierto
No alumbra
Abierto
Cerrado
No alumbra
Cerrado
Abierto
No alumbra
Cerrado
Cerrado
Alumbra
Abierto
Figura 2 4 Significado de la operacin multiplicacin lgica.
Multiplicacin lgica.
Definicin 2.1
A . B es verdadero si y solo si A 1 y B 1 .
El concepto de multiplicacin lgica expuesta coincide con la multiplicacin ordinaria en

donde 1.1 = 1 y 1.0 = 0. En diseo de circuitos digitales se ha estandarizado un smbolo para
AND:
Figura 2 5 Smbolo de la operacin y compuerta AND
Ejemplo 2.1
Seales de entrada y de salida en la compuerta AND
La figura 26 muestra como la compuerta AND procesa la informacin proporcionada por

las entradas A y B que son dos pulsos de voltajes con niveles 0 y 1 variando en el tiempo. Al
salir de la compuerta se obtiene la seal de salida S = A.B. El proceso que realiza la

compuerta es A.B S ; de t0 a t1 se obtiene 0.0 0 , de t1 a t2 1.0 0 ; de t2 a t3 , 0.1 0 ;
de t3 a t4 1.1 1 ; de t 4 a t5 0.0 0 ; de t5 a t6 1.0 0 ; y as sucesivamente.
Figura 2 6 Proceso de la compuerta AND
La compuerta AND puede tener ms de dos entradas A1 , A2 , A3 ,..., An y una sola salida S.
La salida es la multiplicacin lgica de las variables de entrada.
Figura 27 Diferentes tipos de compuertas AND segn el nmero de Entradas A, B, de la compuerta.
Las ocho combinaciones para la Compuerta de tres entradas A, B y C proporcionan una

salida nica que puede ser con corriente o sin corriente, con 1 o 0.
Entrada A
0
0
0
0
1
1
1
1
Entrada B
0
0
1
1
0
0
1
1
Entrada C
0
1
0
1
0
1
0
1
Salida Y = A.B.C
0
0
0
0
0
0
0
1
Figura 28 Significado de la operacin AND con tres Entradas A, B y C.

2.1.2.2
Operacin y compuerta OR (O).
Esta operacin y compuerta es la operacin Disyuncin Inclusiva del Clculo

Proposicional que en el lgebra de Bool se denota A B , razn por la cual se llama Suma
Lgica. Esta expresin se lee A OR B.
Figura 29 Circuito simple OR
La Figura 2-9 muestra la aplicacin de sta operacin a los circuitos simples con
interruptores. La batera alimenta el circuito con un voltaje V y genera corriente elctrica; si
los dos interruptores A y B estn abiertos, la corriente no pasa y por consiguiente no alumbra
la bombilla C; pero si uno o los dos estn cerrados, la bombilla alumbra. Esto se concreta en
la siguiente tabla.
A B C
A B C
Abierto
Abierto
No alumbra
Abierto
Cerrado
Alumbra
Cerrado
Abierto
Alumbra
Cerrado
Cerrado
Alumbra
Figura 210 Significado de la operacin suma lgica.
Suma lgica.
Definicin 2.2
A B es falsa si y solo si A 0 y B 0 .
Aunque la operacin OR se simboliza con +, el concepto de suma lgica no coincide con

el de suma en los nmeros reales. Mientras que en los reales 1 + 1 = 2, en el contexto del
lgebra de Boole 1 + 1 = 1. En el diseo de circuitos se ha estandarizado un smbolo para
OR:
Figura 211 Smbolo de la operacin y compuerta OR
Ejemplo 2.2
Seales de entrada y de salida en la compuerta OR
La compuerta OR tiene como entradas A y B los mismos dos pulsos del ejemplo de la AND.
Al salir de la compuerta se obtiene la seal de salida S. El proceso que realiza la compuerta
es A B S . De t0 a t1 se obtiene 0 0 0 , de t1 a t 2 1 0 1 ; de t2 a t3 , 0 1 1 ; de t3
a t 4 1 1 1 ; de t 4 a t5 0 0 0 ; de t5 a t6 1 0 1 ; y as sucesivamente.
Figura 212 Proceso de la compuerta OR
Al igual que en el caso anterior, sta compuerta puede tener ms de dos entradas
A1 , A2 , A3 ,..., An y una sola salida S.
Figura 413
Diferentes tipos de compuertas OR segn el nmero de Entradas A, B, de la compuerta.
Las ocho combinaciones para la Compuerta de tres entradas A, B y C proporcionan una salida
nica que puede ser ALTA o BAJA, con 1 o 0. La salida es la suma lgica de las variables
de entrada.
Entrada A
0
0
0
0
1
1
1
1
Entrada B
0
0
1
1
0
0
1
1
Entrada C
0
1
0
1
0
1
0
1
Salida Y = A+B+C
0
1
1
1
1
1
1
1
Figura 214 Significado de la operacin OR con tres Entradas A, B y C.
2.1.2.3
Operacin y Compuerta NOT (no, inversor)
sta es la opeacin Negacin
del Clculo Proposicional que denotaremos con una barra
encima de una letra, A . Significa invertir el valor de verdad de la entrada A. En el contexto

del lgebra de Boole A se lee complemento de A. Como solo hay dos valores de verdad,
el complemento de 0 es 1 y el complemento de 1 es 0. El significado lgico se resume en la
tabla siguiente
A
0
1
A
1
0
Figura 215 Significado de la operacin Complemento.
Complemento lgico.
Definicin 2.3
A es verdadero si y solo si A 0 y
A es falso si y solo si
A 1
En el diseo de circuitos se ha estandarizado un smbolo para NOT:
Figura 216 Smbolo de la operacin y compuerta NOT
11
El siguiente diagrama expresa que el resultado AND equivale a una OR con las entradas
invertidas.
Figura 217 Dos formas diferentes de obtener una AND de dos Entradas A y B.
Contrariamente a lo que ocurre con la AND, la el resultado de la OR equivale a una AND

con sus entradas invertidas.
Figura 218 Dos formas diferentes de obtener una OR de dos Entradas A y B.
Aqu se verifica en la prctica de la ingeniera las Leyes de De Morgan.

As pues, el proceso de la asignacin de 1 y 0 es la digitalizacin de las seales elctricas en
el tiempo. stas seales activan y desactivan a manera de interruptor los dispositivos
Compuertas Lgicas, las cuales son los elementos bsicos de cualquier circuito digital real.
Figura 219 Circuito Integrado 7432 y Esquema de sus cuatro compuertas OR.
2.1.3 Otras operaciones y compuertas lgicas

Adems de las compuertas bsicas AND, OR y NOT existen otras igualemente importantes
llamadas XOR, NAND, NOR y NXOR que corresponden en su orden a las operaciones
lgicas O exclusiva, negacin de AND, negacin de OR y negacin de XOR.
2.1.3.1 Operacin y Compuerta XOR (o excluyente).

Corresponde a la operacin lgica del Clculo Proposicional Disyuncin exclusiva ; para
letras proposicionales A y B, se denota A B y en el contexto del lgebra de Boole se
simboliza A B , lo cual se lee A XOR B. Se precisa en la siguiente definicin y tabla.
Operacin XOR.
Definicin 2.4
A B es falso si y solo si A B 0 o A B 1
Se observa en la figura 2-20 que los valores de XOR son contrarios a la equivalencia de
proposiciones.
A
0
0
1
1
B
0
1
0
1
A BS
0
1
1
0
Figura 220 Tabla de XOR
Ejemplo 2.3
Seales de entrada y de salida en la compuerta XOR
Supongamos que una compuerta XOR tiene como entradas A y B, los mismos dos pulsos del
ejemplo de la AND y OR. A la salida de la compuerta se obtiene la seal de salida
A B S . El proceso que realiza la compuerta es el siguiente: de t0 a t1 se obtiene

0 0 0 , de t1 a t2 1 0 1 ; de t2 a t3 , 0 1 1 ; de t3 a t4 1 1 0 ; de t4 a t5 0 0 0
; de t5 a t6 1 0 1 ; y as sucesivamente.
13
Figura 221 Proceso de la compuerta XOR
Al igual que en los casos anteriores, sta compuerta puede tener ms de dos entradas
A1 , A2 , A3 ,..., An y una sola salida S. La salida es la suma lgica de las variables de entrada.
Figura 222 Diferentes tipos de compuertas XOR segn el nmero de Entradas A, B, de la compuerta.
Las ocho combinaciones para la Compuerta de tres entradas A, B y C proporcionan una

salida nica que puede ser con corriente o sin corriente, con 1 o 0.
Entrada A Entrada B Entrada C Salida S = A B C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
1
Figura 2 23 Significado de la operacin XOR con tres Entradas A, B y C.
2.1.3.2
Compuerta NAND (AND negada)
La compuerta NAND o negacin de la AND corresponde a la operacin lgica del Clculo

Proposicional A B proporcionada por la Primera ley de De Morgan. En el contexto del
lgebra de Boole se denota A.B y se lee A NAND B y como se sabe por el Clculo
Proposicional,
A. B A B. Se precisa en la siguiente definicin y tabla. Se observa la
equivalencia de A.B y de A B .
A
0
0
1
1
B
0
1
0
1
A.B
0
0
0
1
A.B S
1
1
1
0
A
1
1
0
0
B
1
0
1
0
A B
1
1
1
0
Figura 2 24 Significado de la operacin NAND y su equivalente por ley de De Morgan.
Ejemplo 2.4
Seales de entrada y de salida en la compuerta NAND
La compuerta NAND tiene como entradas A y B los mismos dos pulsos de los ejemplo
anteriores. A la salida de la compuerta se obtiene la seal de salida S. El proceso que realiza
la compuerta es A B S . De t0 a t1 se obtiene 0.0 1 , de t1 a t 2 1.0 1 ; de t2 a t3 ,
0.1 1 ; de t3 a t4 1.1 0 ; de t4 a t5 0.0 1 ; de t5 a t6 1.0 1 ; y as sucesivamente.
15
Figura 2 25 Proceso de la compuerta NAND
La compuerta NAND puede tener dos o ms entradas A1 , A2 , A3 ,..., An y una sola salida S.
La salida es la negacin de la salida que proporciona la AND de las variables de entrada. La
primera N hace referencia a negacin.
Figura 2 26 Dos formas diferentes de obtener una NAND de dos entradas A y B.
Entrad A Entrad B
0
0
1
1
0
0
1
1
A.B
X A.B
0
0
0
1
1
1
1
0
Figura 4 27 Significado de la operacin NAND con tres entradas A y B.
En el diagrama siguiente tambin se verifica la primera ley de De Morgan puesto que el

resultado de una NAND equivale al resultado obtenido a un OR con sus entradas invertidas.
Figura 2 28 Dos formas diferentes de obtener una NAND de dos Entradas A y B.
2.1.3.3
Compuerta NOR (OR negada)
La compuerta NOR o negacin de OR corresponde a la operacin lgica del Clculo

Proposicional A B proporcionada por la Segunda ley de De Morgan. En el contexto del
lgebra de Boole se denota A B y se lee A NOR B y como se sabe por el Clculo
Proposicional es igual a
A B A.B . Se precisa en la siguiente definicin y tabla. Se
observa la equivalencia de A.B y de A B .
Entrad A
Entrad B
A B
X A B
0
0
1
1
0
0
1
1
0
0
0
1
1
1
1
0
Figura 2 29 Significado de la operacin NOR con tres Entradas A y B.
Ejemplo 2.5
Seales de entrada y de salida en la compuerta NOR
Supongamos el caso en que las entradas A y B de la compuerta NOR son los mismos dos
pulsos de los ejemplo anteriores. A la salida de la compuerta se obtiene la seal de salida S.
El proceso que realiza la compuerta es A B S . De t0 a t1 se obtiene 0 0 1 , de t1 a t 2
1 0 0 ; de t2 a t3 , 0 1 0 ; de t3 a t4 1 1 0 ; de t4 a t5 0 0 1 ; de t5 a t6 1 0 0 ; y
as sucesivamente.
Figura 2 30 Significado de la operacin NOR.
La compuerta NOR puede tener dos o ms entradas A1 , A2 , A3 ,..., An y una sola salida S. La
salida es la negacin de la salida que proporciona la OR de las variables de entrada. El
diagrama siguiente ilustra que se obtiene los mismos resultados con la compuerta NOR y
una OR seguida de una INVERSORA.
17
Figura 2 31 Dos formas diferentes de obtener una NOR de dos Entradas A y B.
El diagrama que sigue muestra la validez en la prctica de la ingeniera, la propiedad lgica

Segunda Ley de De Morgan: A B A.B .
Figura 2 32 Dos formas diferentes de obtener una NOR de dos Entradas A y B.
Entrada A Entrada B
A
1
1
0
0
0
1
0
1
0
0
1
1
B
1
0
1
0
A B
1
1
1
0
X A B
0
0
0
1
Figura 2 33 Significado de la operacin NOR con tres Entradas A y B.
2.1.3.4
Compuerta NXOR (XOR negada).
La compuerta NXOR corresponde a la operacin lgica del Clculo Proposicional AB . En

el contexto del lgebra de Boole se denota A B y se lee A NXOR B. Se precisa en la
siguiente definicin y tabla. Observacin: La tabla muestra que A B A B .
Entrad A Entrad B
0
0
1
1
0
0
1
1
A B
X A B
0
1
1
0
1
0
0
1
Figura 2 34 Significado de la operacin NXOR con tres Entradas A y B.
Ejemplo 2.6
Seales de entrada y de salida en la compuerta NXOR
Consideremos el caso en que las entradas A y B de la compuerta NXOR son los mismos dos
pulsos de los ejemplo anteriores. A la salida de la compuerta se obtiene la seal de salida S.
El proceso que realiza la compuerta es A B S . De t0 a t1 se obtiene 0 0 1 , de t1 a
t2 1 0 0 ; de t2 a t3 , 0 1 0 ; de t3 a t4 1 1 1 ; de t4 a t5 0 0 1 ; de t5 a t6 1 0 0
; y as sucesivamente.
Figura 2 35 Ilustracin del funcionamiento de la compuerta NXOR con tres Entradas A y B.
Puede tener dos o ms entradas A1 , A2 , A3 ,..., An y una sola salida S. La salida es la

negacin de la salida que proporciona la NXOR de las variables de entrada. La primera N
hace referencia a negacin.
Figura 2 36 Dos formas diferentes de obtener una NXOR de dos Entradas A y B.
Ejemplo 2.7
Seales de entrada y de salida en un circuito
a. Determinar la salida del circuito si los valores de las variables de entrada son
x 0, y 1, z 0 .
Solucin
19
b. Determinar la salida del circuito si los valores de las variables de entrada son
x 1, y 1, z 1 .
Solucin
c. Determinar la expresin o funcin de salida del circuito en trminos de las variables de

entrada x, y, z .
Solucin
En resumen:
NOMBRE
AND
(Y)
OR
(O)
SIMBOLO GRFICO
FUNCIN
TABLA DE
ALGEBRAICA
VERDADAD
F A.B
A
0
0
1
1
F A B
A
0
0
1
1
B
0
1
0
1
B
0
1
0
1
A.B
0
0
0
1
A B
0
1
1
1
21
INVERSOR
(NOT)
NAND
(NO Y)
NOR
(NO O)
XOR (O
EXCLUSIVA)
NXOR
(NO O EXCLUSIVE)
FA
A
0
1
A
1
0
F A.B A B
A
0
0
1
1
F A B A.B
A
0
0
1
1
B
0
1
0
1
A B
1
0
0
0
A
0
0
1
1
B
0
1
0
1
A B
0
1
1
0
A
0
0
1
1
A B
1
0
0
1
F A B
AB AB
F A B
AB AB
0
1
0
1
0
1
0
1
A.B
1
1
1
0
Prctica
2.1
"El xito no es para quienes se quedan pensando eternamente

que pueden hacer algo sino para quienes emprenden acciones
para hacerlo"
1. En los ejercicios siguientes conecte los pulsos A y B dados a continuacin, a las entradas
de la compuerta AND, OR, NAND, NOR, XOR, NXOR, como en el ejemplo 2.1. Dibuje
debajo el pulso de salida para cada compuerta por separado.
2. Determine el valor de salida del circuito para la entrada, como en el ejemplo 210.
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
23
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
a. A = 1, B = 1
b. A = 0, B = 0
c. A = 0, B = 1
d. A = 1, B = 0
LEYES DEL LGEBRA DE BOOLE
2.2
Como ya se expres arriba, el lgebra de Boole es una estructura matemtica definida con
variables binarias A, B, C, x, y, z, en un conjunto 0,1 , con tres operaciones AND,
OR, y NOT en que tienen un significado lgico verdadero falso y con un conjunto de
propiedades de dichas operaciones. Mientras que el lgebra ordinaria trata con nmeros
reales, el lgebra de Boole trata solo con dos nmeros 0 y 1. Esta estructura matemtica al
servicio de la ingeniera fue creada por George Boole en 1954.
2.2.1 Postulados
Las propiedades o leyes a nivel axiomtico que cumplen las operaciones AND, OR y NOT
en 0,1 son Clausurativa, Conmutativa, Identidad, Distributiva y Complemento o de
Inversin.
Postulado 1: Propiedad Clausurativa. La suma y la multiplicacin lgica de los dos
elementos de 0,1 , da como resultado un elemento de 0,1 . Es decir, si x, y
entonces x y y
x. y . As, 0 + 0 = 0,
0 + 1= 1, 1 + 0 = 1 y 1 + 1 = 1 y adems
0 . 0 = 0, 0 . 1 = 0, 1 . 0 = 0 y 1 . 1 = 1.
Postulado 2: Propiedad Conmutativa. Si x , y entonces x y y x . Se evidencia
la verdad de esta propiedad mediante una tabla de verdad mostrando que x y y y x tienen
los mismos valores de verdad, lo cual se muestra en las columnas 3 y 4 de la figura 2-37;
x y y x es una tautologa. En el contexto del lgebra de Boole la igualdad es el si

y solo si del Clculo Proposicional.
1
x
0
0
1
1
2
y
x y
0
1
0
1
0
1
1
1
4
yx
0
1
1
1
Figura 2 37 Tabla de verificacin de la Propiedad Conmutativa de la suma lgica.
25
Se ha msotrado en la tabla 2 37 que x y y x . En forma similar se puede ver que
xy yx , lo cual queda como ejercicio para el estudiante.

Postulado 3: Propiedad Distributiva
a. de la multiplicacin respecto a la suma
Si x , y , z se tiene que x. y z x. y x.z . Esto se evidencia en la tabla de
verdad siguiente. Las columnas 5 y 8 de la figura 2-38 muestran la igualdad de x. y z y
de x. y x.z .
1
x
0
0
0
0
1
1
1
1
2
y
x. y z
6
x. y
yz
x.z
x. y x.z
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
0
0
0
0
0
1
1
1
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
Figura 238
b. de la suma respecto a la multiplicacin

Si x , y , z se tiene que x y.z x y . x z . Se evidencia en la tabla de
verdad siguiente. Las columnas 5 y 8 de la tabla de la fugura 2-39 muestran la igualdad de
x y.z y de x y . x z .
1
2
y
4
y.z
x y.z
x y
xz
x y . x z
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
0
1
0
0
0
1
0
0
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
1
1
1
1
0
0
0
1
1
1
1
1
Figura 2 39
Postulado 4: Propiedad del elemento Idntico o Neutro

a. Para la suma existe un elemento 0 tal que, x 0 0 x x
b. Para la multiplicacin existe un elemento 1 tal que, x.1 1.x x
Postulado 5: Propiedad del elemento Complemento
Para cada x existe en x tal que x x 1 , donde x es el complemento de x . As,
1 0; 0 1 .
Principio de dualidad.
Dos expresiones booleanas son duales si y solo si una se obtiene de
la otra intercambiando operadores y elementos idnticos.
Resumen de dualidad en los postulados
POSTULADO BOOLEANO
POSTULADO BOOLEANO
DUAL
Conmutativa
A B B A
Distributiva
A B.C A B . A C
A.B B.A
A. B C A.B AC
.
Idntico
A 0 A
Complementacin
A A 1
A.1 A
A.A 0
Figura 2 40
Cada expresin booleana deducida de los postulados del lgebra booleana sigue siendo
vlida si los operadores y los elementos identidad se intercambian. La definicin de dualidad
de expresiones booleanas es importante en cuanto solo se necesita recordar una para tener la
otra equivalente.
2.2.2 Teoremas del lgebra de Boole

A continuacin se resume algunos teoremas que son muy utilizados en la simplificacin de
circuitos.
27
1.
2.
3.
TEOREMA BOOLEANO TEOREMA BOOLEANO DUAL

x x x
x.x x
x 1 1
x.0 0
No
existe
xx
4.
x y x. y
x. y x y
5.
x y z x y z
xy z x yz
6.
x xy x
x x y x
7.
x xy x y
8.
x x. y x y
9.
xy x y x
10.
xy y x y
11.
xy x y x
12.
x y x y x

x. x y x. y
x y . x y x
x. x y x. y
x y x yx
x y x yx
x. y x. y x
Figura 241
Ejemplo 2.8
Demostracin de teoremas booleanos
Demostrar el Teorema 1. Si x entonces x x x

Demostracin
POSTULADOS
DE APOYO
1
1, 4
1,3, 4
1,3, 4
1,3, 4
1,3, 4
PASO
AFIRMACIN
JUSTIFICACIN
Por el postulado de cerradura de
x x
x x x x .1
x x x.1 x.1
Por el postulado de distributividad en 1 .
x x x. 1 1
Por postulado de distributividad en 2 .
x x x.1
x x x
Por postulado del elemento idntico en 3 .
Por el postulado del elemento idntico.
Por postulado del elemento idntico en 4 .
Por el principio de dualidad: x.x x .

Ejemplo 2.9
Demostrar el Teorema 2. Si x entonces x 1 1

Demostracin
AXIOMAS
DE APOYO
PASO
AFIRMACIN
JUSTIFICACIN
x 1
x 1 1. x 1
x 1 x x . x 1
Por el postulado de cerradura de .
1
1, 4
1, 4,5
1,3, 4,5
1,3, 4,5
1,3, 4,5
1,3, 4,5
1, 2,3, 4,5
x 1 xx x xx x
x 1 x x xx x
Por el dual del teorema 1 en 3 .
x 1 x x 0 x
Por el postulado de complemento en 4
x 1 x 0 x
x 1 x x 0
Por el teorema 1 en 5 .
Por postulado de la conmutatividad en
6 .
1, 2,3, 4,5
x 1 x x 0
Por el teorema de asociatividad en 7 .
1, 2,3, 4,5
10
x 1 1 0
1, 2,3, 4,5
11
x 1 1
Por el postulado de complemento en la

8.
Por postulado del elemento idntico en
9 .
2
3
Por el postulado del elemento idntico

Por el postulado de complemento en 1 .
Por el principio de dualidad: x.0 0 .

Ejemplo 2.10
Demostrar el Teorema 3. x x
Demostracin
Sabemos por el postulado 5 del complemento que para todo x , x x 1 , 1 . Si se
reemplaza x por x se obtien x x 1 , 2 . De 1 y 2 se concluye que x x .
Ejemplo 2.11
Demostrar el Teorema 4. Teorema de asociatividad x y z x y z

Demostracin
29
Se evidencia la verdad de esta propiedad mediante una tabla de verdad mostrando que
x y z
y x y z tienen los mismos valores de verdad, lo cual se muestra en las
columnas 6 y 7 de la figura 2-41; x y z x y z es una tautologa. En el contexto

del lgebra de Boole la igualdad es el si y solo si del Clculo Proposicional.
1
x
2
y
3
z
4
x y
5
yz
x y z
x y z
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
1
1
1
1
0
1
1
1
1
1
1
1
Figura 241
Por simple observacin en las columnas 6 y 7 se tiene la igualdad

Ejemplo 2.12
x y z x y z
Demostrar el Teorema 5. Si x , y entonces xy x y x

Demostracin
AXIOMAS
DE APOYO
PAS
AFIRMACIN
JUSTIFICACIN
xy x ; y x
y x y x .1
1, 4
1, 4
1, 4,5
yx yx . xx
1,3, 4,5
1,3, 4,5
1,3, 4,5
y x xy xx yx xx
y x xy 0 yx xx
y x xy yx xx
1,3, 4,5
y x xy yx x
en 1 .
Por el teorma dual del teorema 1.
Por el postulado 1 de cerradura,
x, y
Por el postulado de elemento idntico

aplicado a la expresin y x .
Por el postulado del complemento en 1
1,3, 4,5
yx y xx x
1,3, 4,5
1,3, 4,5
y x y 1 x
10
yx yx
Por el el teorema de asociatividad en

6 .
Por el postulado de complemento en 1 .
en 8 .
Ejemplo 2.13
Demostrar el Teorema 6. Si x , y entonces x y x 1

Demostracin
AXIOMAS
DE APOYO
PASO
AFIRMACIN
JUSTIFICACIN
x y x
1, 2
2, 4
x yx xx y
Por el postulado de asociatividad en 2 .
3, 4,5
3, 4,5
x y x 1 y
Por postulado del complemento en 3 .
x y x 1
x, y
x yx xx y
Por el postulado de conmutatividad en
x y x en 1
Por el principio de dualidad: xyx 0 .

Ejemplo 2.14
Demostrar el Teorema 7. Si x , y entonces x y x x y y 1

Demostracin
1.
2.
x y x x y y 1.1; por teorema 5

x y x x y y 1; por postulado del elemento idntico

Por el principio de dualidad: xyx xy y 0 .

Ejemplo 2.15
Demostrar el Teorema 8. Si x , y entonces x y x y x y x x y y
31
Demostracin
1.
x y x x y y xx xy x y xy yy y y xx xy x y ; por postulado
propiedad distributiva
2.
3.
x y x x y y x xy x y xy y y y xx xy x y ; por teorema 1.
x y x x y y x y x y y y y xx y x x x y ; por postulado de
distributividad
4.
x y x x y y x y x 1 y y xx y 1 x y ; por postulado de
complemento
5.
6.
x y x x y y x y x y y xx y x y ; por el elemento idntico

x y x x y y x x y y y y xx x y ; por postulado de
conmutatividad
7.
8.
x y x x y y x y y y xx x y ; por teorema 1
x y x x y y x y x y ; por postulado del complemento
Por el principio de dualidad: xy x y xyx xy y .

Ejemplo 2.16
Demostrar el Teorema 9. Si x , y entonces xy x y 1

Demostracin
AXIOMAS
DE APOYO
1,3, 4,5
1,3, 4,5
1, 2,3, 4,5
AFIRMACIN
JUSTIFICACIN
xy x y

xy x y y x y
xy x y y x y
xy x y x y y
xy x y xy x y
x, y
Por teorema de asociatividad en 1 .

Por el teorrma 5 en 2 .
Por postulado de conmutatividad en
5.
1, 2,3, 4,5
xy x y x y y
1, 2,3, 4,5
xy x y x 1
1, 2,3, 4,5
xy x y 1

Por postulado de complemento en 6 .
Por postulado del elemento idntico en
6 .
Ejemplo 2.17 Demostracin de teoremas booleanos

Demostrar el Teorema 10. Si x , y entonces xy x y 0
Demostracin
AXIOMAS
DE APOYO
AFIRMACIN
JUSTIFICACIN
xy x y
1,3
1,3
1, 2,3, 4,5
1, 2,3, 4,5
1, 2,3, 4,5
Ejemplo 2.18

xy x y xx y x y y
xy x y 0 y x 0
xy x y 0 0
xy x y 0
xy x y xxy xy y
x, y

Por teorema dual del teorema 2 en 3
Por teorema 2 en en 4 .
Por postulado de identidad en 5 .
Demostrar el Teorema 11. Si x , y entonces xy x y

Demostracin
1.
2.
3.
4.
xy xy 1 y xy xy 0 ; por postulado del complemento.

xy x y 0
xy x y 1
x y xy
; por el teorma 10.

; por el teorma 9.
; de 2 y 3 debido a 1.
Por el principio de dualidad: x y x. y .
33
Prctica
2.2

para hacerlo"
Completar cada expresin dada.

2. 1 1
5. x x
8. x.x
11. x y
3. 1.1
6. x 0
9. x 1
13. y yz
14. x y x
15. x y x
16. y yz
17. y yz
18. z y yz
1.
4.
7.
10.
0.0
xx
x.x
xy xy xy
12. x. y
Simplificar las siguientes expresiones o funciones booleanas aplicando los axiomas o

psotulados del lgebra de Boole.
1. S x y x y
2. S xyz xyzw
3. S x. y x y 0 . y.0
4. S x yz x yz
5. S x .x y y. y xy
6. S x. y.z
7. S x y . x y
6. S z.y.x z. y.x z. y.x
7. S x y . z w
8. S wzyx wz y x
9. S xyz. z y x
10. S x. y . z x
11.
S xz . yw
Demostrar que
12. x x y xy
13. x x y x
14. xy x yz xy xz
15. x y x y z x y x z
FUNCIONES DE BOOLE Y SU SIMPLIFICACIN
2.3
Una funcin boolena es una expresin booleana de una o ms variables binarias

independientes. Las variableas independientes representan las entradas a un circuito y la
funcin, su salida. As, por ejemplo S AB AB A B A es una funcin booleana de

variables independientes A y B. Las funciones booleanas se clasifican en producto de sumas
y A B A B A B A B ,
como
en
suma
de
productos
como
x AB AB AB AB o aquellas que no son producto de sumas ni suma de productos
como S AB AB A B A .
La tabla de verdad de una funcin booleana determina los diferentes estados ALTO o BAJO
a la salida del circuito.
A
AB
AB
A B
A B A
S AB AB A B A
Son muy importantes aquellas que estn formadas por productos de sumas como las
siguientes
x A B C A B C A B C A B C
35
z A B A B C A B A B C .
Tambin muy importantes, las sumas de productos como las siguientes:
y ABC ABC ABC ABC

y AB AC ABC C .
En cambio, S AB AB A B A no es ni suma de productos ni producto de sumas.

Ejemplo 2.19
Circuito NAND.
De las entradas A y B a una NAND se invierte A. Obtenga la funcin booleana de salida

del circuito y construya la tabla de verdad correspondiente.
Figura 242
Solucin
Al pasar la seal A a travs de la compuerta inversora sale A . Al pasar las seales A y B
por la compuerta NAND sale como indica la figura siguiente, Y A.B . Pero aplicando ley
De Morgan se obtiene Y A.B A B .
Figura 243
La expresin de salida del circuito y A B es una funcin booleana. Su tabla de verdad

se da en la tabla siguiente:
A
Y A B
0
0
1
1
0
1
0
1
1
0
1
0
1
0
1
1
Figura 244
Ejemplo 2.20
Circuito y su tabla de verdad.
Una entrada A se invierte y se aplica a una compuerta AND. La otra entrada es B. La salida
de la compuerta AND se aplica a una compuerta OR. La segunda entrada a la OR es A.
Dibuje el circuito lgico, halle la funcin de salida y haga la tabla de verdad.
Solucin
El circuito descrito es el siguiente.
Figura 2-45
La expresin de salida del circuito z A AB es una funcin booleana. La tabla de verdad

correspondiente a la salida del circuito es:
A
0
0
1
1
B
0
1
0
1
AB
z A AB
1
1
0
0
0
1
0
0
0
1
1
1
Ejemplo 2.21
Figura 2-45
Circuito y su tabla de verdad.
Dibuje el circuito lgico para la expresin booleana S AB AB A B A . Halle la tabla

de verdad.
Solucin
37
Figura 246
La expresin de salida del circuito S AB AB A B A es una funcin booleana. Su

tabla de verdad es:
A
AB
AB
A B
A B A
S AB AB A B A
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
0
0
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
1
1
1
Figura 247
Hay dos formas de simplificar una funcin booleana suma de productos, producto de sumas
y las que no son una de stas: se trata de la simplificacin algebraica y la simplificacin
mediante mapas de Karnough.
2.3.1 Simplificacin algebraica

Para simplificar una funcin booleana por el mtodo algebraico, se aplica los postulados
y teoremas anteriormente estudiados del lgebra de Boole. El proceso de simplificacin
consiste en hallar una funcin booleana equivalente con menos intervencin de las variables
y trminos. Cuando se simplifican expresiones booleanas se obtienen otra equivalente, es
decir, con la misma tabla de verdad. La simplificacin tiene la finalidad de de minimizar el
costo y tamao del circuito.
Diseo y simplificacin de una funcin booleana.
Ejemplo 2.22
Disee un circuito lgico con salida z mostrada en la tabla de la figura 2-48.

A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
z
1
0
0
1
1
0
0
1
Figura 2-48
Solucin
Primero debemos construir una funcin booleana de variables A, B y C que genere los
valores de z. Para ello hay dos alternativas: tomar como referente solo unos (1) o solo ceros
(0). En el primer caso, la funcin booleana queda construida como una suma de productos y
en el segundo como un producto de sumas.
a. Funcin suma de productos (el referente de solo unos)
En este caso las variables complementadas y no complementadas se multiplican para que
el resultado de dicha multiplicacin sea un 1 lgico. Obsrvese la explicacin dada en la
tabla siguiente.
A B C z
Explicacin
A.B.C
A B C 0, pero, A B C 1 y as A.B.C 1
A.B.C
A 0, B C 1, pero, A 1, B C 1 y as A.B.C 1
A.B.C
A 1, B C 1, pero, A B C 1 y as A.B.C 1
1
0
0
0
2
3
0
0
0
1
1
0
0
0
6
7
1
1
0
1
39
A.B.C
Figura 249
As la funcin z est construida por A.B.C , A.B.C , A.B.C o A.B.C es decir,
z A.B.C A.B.C A.B.C A.B.C . Ahora utilizamos los postulados y teoremas para
simplificar esta funcin.
1.
z B.C ( A A) B.C ( A A) ;
2.
z B.C (1) B.C (1) ;
3.
z B.C B.C ;
Por postulado 3, propiedad distributiva

Por postulado 5, propiedad de
complementacin
Por postulado 4, propiedad del elemento
idntico
La funciones z B.C B.C y z A.B.C A.B.C A.B.C A.B.C son equivalentes, lo

cual significa que tienen el mismo valor de verdad, la misma tabla de verdad dada.
b. Funcin producto de sumas (referente de solo ceros)
En este caso las variables complementadas y no complementadas se suman para que el
resultado de dicha suma sea un 0 lgico. Obsrvese la explicacin dada en la tabla
siguiente.
A B C z
1 0 0 0 1
2 0 0 1 0
Explicacin
A B C
A B 0, C 1, pero, C 0 y as A B C 0
A B C
A C 0, B 1, pero, B 0 y as A B C 0
4
5
6
0
1
1
1
0
0
1
0
1
1
1
0
A B C
A C 1, B 0, pero, A B C 0 y as A B C 0
A B C
A B 1, C 0, pero, A B C 0 y as A B C 0
Figura 250
As la funcin z est construida por A B C , A B C , A B C y A B C es
decir, z A B C
A B C A B C A B C . Ahora utilizamos los postulados y
teoremas para simplificar esta funcin.
AA AB AC AB BB BC AC BC CC
z AA AB AC AB BB BC AC BC CC
1
Por postulado 3, propiedad

distributiva.
;
A AB AC AB BC AC BC
Por teorema xx x y
z A AB AC AB BC AC BC
2
postulado de
complementacin en 1
A AB AC AC AB BC BC ;
z A AB AC AC AB BC BC
Por propiedad asociativa

en 2
z A A AB BC BC A A AB BC BC ;
Por teorema x xy x y
postulados propiedades
distributiva y complem. en
3
5
z A AB BC BC A AB BC BC ;
Por teorema x x x en
4
z A BC BC A BC BC ;
Por teorema x x x en
5
z AA ABC ABC ABC BC ABC BC
Por postulado 3, propiedad

distributiva en 6
z ABC ABC ABC BC ABC BC ;
Por teoremas xx x y
xx 0 en 7.
z ABC ABC ABC BC ABC BC
Por propiedad asociativa
10
z ABC BC ABC ABC 1 BC A 1
Por propiedad distributiva
en 8
en 9
41
11
12
13
z ABC BC BC ;
Por teorema x + 1 = 1 en
10
z BC A 1 BC ;
Por propiedades asociativa

y distruibutiva en 11.
z BC BC ;
La funciones z BC BC
Por teorema x + 1 = 1 en
12.
y
z A B C A B C A B C A B C son
equivalentes, lo cual significa que tienen el mismo valor de verdad, la misma tabla de verdad
dada.
Observacin. Aparentemente,
z A.B.C A.B.C A.B.C A.B.C y z A B C A B C A B C A B C
no son equivalentes lgicamente pero las dos al ser simplificadas conducen a z BC BC

La obtencin de la funcin lgica por los dos mtodos, suma de productos y producto de
sumas (trabajando con solo 1 y solo 0) conducen al final a la misma funcin lgica
simplificada; lo que indica que usted puede en el futuro elegir uno cualquiera de los
procedimientos. Tambin es muy importante ver como la variable A se elimina en la
simplificacin. En lo sucesivo, en este libro se eligir las suma de productos para resolver
estos tipos de problemas lgicos. El circuito lgico correspondiente que tiene como salida la
requerida en la tabla es el siguiente.
Figura 2-51
Diseo y simplificacin de una funcin booleana.
Ejemplo 2.23
Disee un circuito lgico correspondiente a la tabla siguiente.

A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
z
1
0
0
1
0
0
0
1
Figura 2-52
Solucin
Debemos construir una funcin booleana de variables A, B y C que genere los valores de
z. Optemos por la suma de productos para construir la funcin lgica de salida. As, las
variables complementadas y no complementadas se multiplican para que el resultado de
dicha multiplicacin sea un 1 lgico. Obsrvese la explicacin dada en la tabla siguiente.
A
0
B
0
C
0
z
1
A.B.C
2
3
4
0
0
0
0
1
1
1
0
1
0
0
1
A.B.C
A 0, B C 1, pero, A 1, B C 1 y as A.B.C 1
5
6
7
8
1
1
1
1
0
0
1
1
0
1
0
1
0
0
0
1
A.B.C
Figura 253
Explicacin
43
As, la funcin z est construida por
A.B.C , A.B.C
A.B.C es decir,
z A.B.C A.B.C A.B.C . En la tabla de verdad siguiente se comprueba que la funcin z es

la requerida.
A.B.C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
0
0
0
0
0
0
1
A.B.C
0
0
0
1
0
0
0
0
A.B.C
1
0
0
0
0
0
0
0
z A.B.C A.B.C A.B.C

1
0
0
1
0
0
0
1
Figura 254 L
Ahora utilizamos los postulados y teoremas para simplificar esta funcin.

1.
z ABC B.C ( A A) ; Por postulado 3, propiedad distributiva
2.
z ABC B.C (1) ;
Por postulado 5, propiedad de complementacin
3.
z ABC B.C ;
Por postulado 4, propiedad del elemento idntico
La funciones z ABC B.C y z A.B.C A.B.C A.B.C son equivalentes, lo cual

significa que tienen el mismo valor de verdad, la misma tabla de verdad dada. Puede
comprobarse que la simplificacin de la funcin es correcta observando que las dos tablas
de verdad de z ABC B.C y de z A.B.C A.B.C A.B.C son las mismas.
B.C
A.B.C
z B.C A.B.C
0
0
0
0
1
1
0
0
1
1
0
0
0
1
0
1
0
1
1
1
1
1
0
0
1
1
0
0
1
1
1
0
1
0
1
0
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
1
0
0
1
1
1
1
0
1
0
0
0
0
1
0
0
1
0
0
0
1
Figura 255 L
El circuito requerido es el siguiente.
Figura 256
Ejemplo 2.24
Simplificacin de una funcin boolena.
Simplificar la funcin utilizando las propiedades del lgebra de Boole.
S AB AB A B A
Solucin
S AB AB AA AB ; por postulado 2, propiedad conmutativa

S AB AB A AB ; por teorema 1, x.x x
S AB AB AB A ; por postulado 2, propiedad conmutativa
S AB AB AB A ; por teorema, propiedad asociativa
S AB AB A ; por teorema 1, x x x
S AB A AB ; por postulado 2, propiedad conmutativa
S AB A AB ; por teorema, propiedad asociativa
S A AB ; por teorema, x xy x
S A B ; por teorema, x xy x y
45
Observacion: Las tablas de las funciones S A B y
mostradas abajo, tienen el mismo resultado. Por esta razn son equivalentes y
es
S AB AB A B A
mas simple que
, porque se redujo la aparicin de las variables A
y B y tambin el numero de terminos.
A B
AB
AB
A B
A B A
0
0
1
1
1
1
0
0
1
0
1
0
0
0
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
1
0
1
Ejemplo 2.25 Simplificacin de una funcin booleana.

Simplificar la funcin utilizando las propiedades del lgebra de Boole
S AB AB AA BA
Solucin
S AB AB AA AB ; por postulado 2, propiedad conmutativa

S AB AB A AB ; por teorema 1, x.x x
S AB AB AB A ; por postulado 2, propiedad conmutativa
S AB AB AB A ; por teorema, propiedad asociativa
S AB AB A ; por teorema 1, x x x
S AB A AB ; por postulado 2, propiedad conmutativa
S AB A AB ; por teorema, propiedad asociativa
S A AB ; por teorema, x xy x
S A B ; por teorema, x xy x y
S AB AB A B A
Figura 257
S AB AB A B A ,
S A B
A B
Ejemplo 2.26
Simplificacin de una funcin booleana.
Q AB AC BC
Solucin
Q AB AC BC 1 ; por postulado 4, propiedad del elemento idntico
Q AB AC BC A A ; por postulado 5, propiedad del elemento complemento
Q AB AC BCA BC A ; por postulado 3, propiedad distributiva
Q AB 1 C AC 1 B ; por propiedades conmutativa, asociativa y distributiva

Q AB 1 AC 1 ; por teorema 2, x 1 1
Q AB AC ; por postulado 4, propiedad del elemento idntico
Comparando los valores de verdad de Q AB AC BC y
Q AB AC vemos que
efectivamente son equivalentes, pues tienen el mismo valor de verdad y la ultima es ms

simple.
Ejemplo 2.27
y ABC BC
Solucin
y ABC BC (1) ; por postulado 4, propiedad del elemento idntico
y ABC BC ( A A) ; por postulado 5, propiedad del elemento complemento

y ABC ABC ABC ; por postulado 3, propiedad distributiva
y AC B B ABC ; por propiedad distributiva
47
y AC 1 ABC ; por propiedades de complementacin

y AC ABC ; por postulado 4, propiedad del elemento idntico
y C A AB ; por propiedad distributiva
y C A B ; por teorema x xy x y
y AC BC ; por propiedad distributiva

Observacin. Las funciones y ABC BC y y AC BC son equivalentes, es decir,
tienen el mismo valor de verdad.
Ejemplo 2.28
y A B A B
Solucin
y AA AB AB BB ; por postulado 3, propiedad distributiva

y 0 AB AB 0 ; por teorema xx 0
y AB AB ; por postulado 4, propiedad del elemento idntico
Observacin. Las funciones y A B A B y y AB AB son equivalentes, es decir,

Ejemplo 2.29
y ABC A B C
Solucin
y A B C A.B.C ; por teorema DeMorgan
y A.B.C A B C ; por postulado 2, propiedad comutativa
y A. A.B.C A.B.B.C A.B.C.C ; por postulado 3, propiedad distributiva

y A.B.C A.B.C A.B.C. ; por teorema x.x x
y A.B.C ; por teorema x x x

Observacin. Las funciones y ABC A B C y y A.B.C son equivalentes, es decir,
Ejemplo 2.30
y ABC ABC ABC ABC ABC

Solucin
y BC A A ABC BC A A ; por postulado 3, propiedad distributiva
y BC 1 ABC BC 1 ; por postulado 5, propiedad del elemento complemento

y BC ABC BC ; por postulado 4, propiedad del elemento idntico
y C B AB BC ; por propiedad distributiva
y C B A BC ; por teorema x xy x y
y BC AC BC ; por propiedad distributiva
+Observacin. Las funciones y ABC ABC ABC ABC ABC y y BC AC BC
son equivalentes, es decir, tienen el mismo valor de verdad.
49
Prctica
2.3

para hacerlo"
Simplificar las siguientes funciones booleanas:
f x, y, z, w x y zw x w
1.
f x, y, z x yz yz x y
3.
f x, y, z x y z x y x y x y z
4.
f x, y, z, w x yzw x yzw xyzw xyzw x yzw x yzw xyzw xyzw
5.
f x, y, z, w xyzw x yzw xyzw xyzw xyzw
2.
En los ejercicios del 6 al 11, utilice las compuertas AND, OR e INVERSOR para construir
el circuito lgico.
6. S zw x y
7. S x y zwv yzw
8. S x y vz
9. S x yz
10. S yz z w
11. S x yzw
12. Considere la funcin S x yz xy . Haga lo siguiente: a. Construya el circuito b.

construya su tabla de verdad c. simplifique el circuito d. construya la tabla de verdad
del circuito simplificado e. construya el circuito del circuito simplificado.
13. Simplificar el circuito mediante las propiedades booleanas. Haga su tabla de salida en las
dos formas simplificada y no simplificada.
14. Cambie cada compuerta del problema 9 por una compuerta NOR y simplifique el circuito
mediante las propiedades booleanas. Haga su tabla de salida en las dos formas
simplificada y no simplificada.
2.3.2 Simplificacin mediante Mapas de Karnaugh

El mapa de Karnaugh o simplemente mapa K es un instrumento prctico para simplificar una
funcin lgica. Un mapa K es un diagrama tabular rectangular que contiene 2n casillas, donde
n es el nmero de variables de la funcin lgica a simplificar (Barco, 2005). El propsito es
convertir una tabla de verdad en su circuito lo ms simple posible. Esta es otra manera de
simplificar funciones lgicas pero solo lo utilizaremos para funciones de dos, tres y cuatro
variables. Un mapa de Karnaugh en esencia es otra forma de escribir una tabla de verdad que
permite simplificar de una manera grfica la funcin lgica. A continuacin se dan ejemplos
que clarifican el concepto.
2.3.2.1
Mapa K para suma de productos
Para construir un mapa K con sumas de productos haga lo siguiente:

1. Disee la tabla de verdad con cuatro variables, con la salida deseada para el circuito.
Por ejemplo,
A
0
0
0
0
0
0
0
B
0
0
0
0
1
1
1
C
0
0
1
1
0
0
1
D
0
1
0
1
0
1
0
S
0
1
0
0
0
1
0
51
0
1
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
1
0
0
1
1
0
0
1
1
1
0
1
0
1
0
1
0
1
0
0
0
0
0
0
1
0
1
2. Construya la expresin booleana para cada 1 de la tabla.

A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
S
0
1
0
0
0
1
0
0
0
0
0
0
0
1
0
1
ABCD
ABCD
ABCD
ABCD
3. Sume las expresiones obtenidas en el paso 2. Esta es la funcin booleana a simplificar.

S ABCD ABCD ABCD ABCD
4. Construya una tabla rectangular de tamao 4 4 . El lado izquierdo de la tabla se
marca con dos variables, digamos A y B y por encima las otras dos C y D. La
marcacin debe hacerse de tal forma que dos cuadrados adyacentes, tanto
horizontales como verticales, difieran en una sola variable. Por ejemplo, ABCD y
ABCD difieren en la variable D. As:
CD
AB
CD
CD
CD
AB
AB
AB
5.
Coloque un 1 en aquellos cuadrados correspondientes a los 1 en la salida de la tabla.
CD
CD
AB
AB
AB
CD
CD
AB
6. Examine los 1 adyacentes y los aislados. En este caso no hay aislados. Tenga en
cuenta que cada cuadrado del rengln superior es adyacente al cuadrado
correspondiente del rengln infereior. Por ejemplo, si en ABCD hubiera un 1,
entonces ese 1 con el ABCD constituira un par adyacente.
CD
CD
AB
AB
AB
CD
CD
AB
7. Busque los unos que sean adyacente a otro uno. Repita cualquier par que tenga dicho
1. La funcin se simplificar en el paso 11 combinando los cuadros adyacentes que
tengan el 1, por parejas, por cuartetos o por octetos.
53
CD
AB
CD
CD
CD
AB
AB
AB
En este caso hay tres pares adyacentes de 1, a saber: ABCD y ABCD ; ABCD y
ABCD ; ABCD y ABCD .
8. Agrupe los octetos aunque algunos de los 1 ya hayan sido utilizados (en este caso no
hay octetos).
9. Agrupe cualquier curteto que contenga uno o ms unos que no se hayan utilizado,
asegurndose de utilizar el mnimo nmero de agrupamientos. En este ejemplo no
hay cuarteros adyacentes de unos.
10. Agrupe cualquier par que sea necesario para incluir los unos que no se hayan utilizado
aun. Asegrese de utilizar el monimo nmero de agrupamientos.
11. Simplificacin.
Agrupamiento por pares:
El agrupamiento de un par de unos adyacentes elimina la variable que aparece en
forma complementada y no complentada.
Agrupamiento por cuartetos:
El agrupamiento de un cuarteto de unos adyacentes elimina las dos variables que
aparecen en forma complementada y no complentada.
Agrupamiento por octetos:
El agrupamiento de un octeto de unos adyacentes elimina las tres variables que
aparecen en forma complementada y no complentada.
CD
CD
CD
CD
AB
AB
AB
Par
y AB
ABCD
Queda ACD .
Par ABCD y ABCD : se elimina A. Quda BCD .
Par ABCD y ABCD : se elimina C. Quda ABD .
ABCD :
se
elimina
B.
12. Forme la suma OR de todos los trminos generados por cada agrupamiento en la
simplicacin.
Luego, la simplificacin de la funcin S ABCD ABCD ABCD ABCD es
S ABCD ACD BCD ABD .
Se puede ver que la tabla de verdad de la funcin inicialmente dada coincide con la de la
funcin simplificada.
A B
C D
ABCD
ABCD
ABCD
ABCD
S ABCD ACD BCD ABD
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
1
0
0
0
0
0
0
0
1
0
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
Simplificacin de una funcin booleana de tres variables

mediante mapas de karnaugh.
Simplificar la funcin S ABC ABC ABC ABC ABC .
Ejemplo 2.31
55
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
S
1
0
0
1
1
0
1
1
Tabla 2 60. Tabla de verdad
BC
BC
BC
BC
Figura 2 61 Mapa de Karnaug h
El Mapa de Karnaugh para la funcin suma de productos de tres variables

S ABC ABC ABC ABC , se muestra en la figura 2 61; por el lado derecho aparece
la variable A en sus dos formas A y A y por encima B y C en sus cuatro combinaciones AB
, AB , AB y AB . La funcin tiene cinco trminos que tienen un valor de 1 lgico: ABC , ABC
, ABC , ABC y ABC ; estos unos se colocan en el mapa y los dems espacios se llenan con
ceros. Se observa en el mapa dos bloques de duplas de unos verticales adyacentes: ABC y
ABC y ABC y ABC y dos horizontales ABC y ABC , y ABC y ABC , el ltimo de los
cuales se obtiene doblando la el cuadro a manera de cilindro uniebndo los lados izquierdo y
derecho.
Simplificacin: de ABC y ABC se elimina A y queda BC . De ABC y ABC se elimina A
y queda BC . De ABC y ABC , se elimina C y queda AB. Y de ABC y ABC se elimina B
y queda AC . Por lo tanto, al simplificar la funcin S ABC ABC ABC ABC
obtenemos S BC AC AB BC .
Simplificacin de una funcin booleana de dos variables
mediante mapas de karnaugh.
Simplificar la funcin suma de productos S AB AB AB utilizando un mapa K.
Ejemplo 2.32
Solucin
En la Tabla 2 58 se muestra la salida S del circuito correspondiente a la funcin
S AB AB AB .
A B
AB
AB
AB
Figura 258
B
1
A
A
Figura 2 59. Mapa K de la funcin S AB AB AB .
El Mapa de Karnaugh se muestra en la figura 2 59; por el lado izqierdo del cuadrado vara
la variable A en sus dos formas de variar complementada y no complementada, y en el lado
superior, la otra variable B. La tabla de salida S de la Figura 2 58 dice que hay tres unos,
los cuales estn consignados en los cuadraditos. Obsrvese que se forma un bloque dupla
vertical de unos adyacentes AB y AB y que recorrindolo decendentemente la variable A
cambia, mientras que B permanece fija en su valor. El cambio de A es una regla para
eliminar A de la funcin lgica en sus dos formas, quedando como su simplificacin. De
igual manera, en la dupla horizontal AB y AB , vara B y se conserva constante A; se elimana
B.
Regla de eliminacin de una variable en un mapa de Karnaugh: la variable que cambia en
un bloque de unos adyacentes puede ser eliminada de la funcin.
Luego, la funcin S AB AB AB se simplifica a S A B .
Prctica
2.4

para hacerlo"
Utuilice el mapa K para simplificar la funcin como suma de productos:

1. S ABCD ABCD ABCD ABCD ABCD ABCD ABCD
57
2. S ABC ABC A . Sugerencia: coloque 1 en todos los cuadros donde aparezca A .

3. S ABC AC . Sugerencia: coloque 1 en todos los cuadros donde aparezca AC .
4. S A B A B . Sugerencia: desarrolle la multiplicacin.
5. S ABC A B C . Sugerencia: Aplique primero Ley de De Morgan. Luego

multiplique.
6. S ABC ABC ABC ABC ABC .
7. S B C C B A B C .
8. S C D ACD ABC ABCD ACD .
9. S ABC ABC ABC ABC .
10. S ABCD ABCD ABCD ABCD ABCD ABCD .
11. S ABC ABC ABC ABC ABC
12. S CD ACD ABC ABCD ACD
13. Disee el circuito lgico simplificado correspondiente a la tabla dada.
A
14. Disee un circuito lgico simplificado cuya salida es alta solamente cuando la mayora
de las entradas A, B y C son bajas.
15. Supongamos tres luces intermitentes en sucesin de tal forma que nunca estn apagadas
ni encendidas al mismo tiempo. Tres fotoceldas son iluminadas por las tres luces. La
funcin de cada fotocelda es la de supervisar una de las luces y se encuentra en un circuito
que produce un voltaje de salida alto cuando la fotocelda est iluminada y bajo cuando
la fotocelda est oscura.
Disee un circuito que tiene como sus entradas las salidas del circuito de fotoceldas, el cual
produce una salida en alto siempre que las tres luces estn encendidas o bien todas apagadas
al mismo tiempo (Tocci, 1996).
16. Un nmero binario de 4 bits se representan como A3 A2 A1 A0 , donde A3 , A2 , A1 , A0
representan los bits individuales con A0 igual al bit de menor valor posicioanal. Disee
un circuito lgico que produzca una salida alta siempre que el nmero binario sea mayor
que 0010 y menor que 1000 (Tocci, 1996).
17. La figura muestra el diagrama de una alarma para automvil empleada para detectar
ciertas condiciones no deseables. Los tres interruptores se emplean para indicar el estado
en que se encuentra la puerta del lado del conductor, el encendido y los faros
respectivamente. Disee un circuito lgico con tres interruptores como entradas, de
manera que la alarma se active cuando se presenta cualquiera de las siguientes
condiciones:
Los faros estn prendidos mientras el encendido est apagado
La puerta est abierta mientras el encendido est prendido (Tocci, 1996).
59
Cunto sabemos?
Evaluacin Saber Pro
PREGUNTAS DE SELECCIN MLTIPLE CON UNA RESPUESTA

Tres valores son esenciales en la vida: responsabilidad, respeto y honestidad. Lea lo
suficientemente despacio para comprender la pregunta y conteste en la hoja de respuestas
sealando una sola opcin A, B, C o D. Seale aquellas tems que NO comprende. Por ningn
motivo conteste al azar.
1. El rea de un trapecio es 400cm2 y su
altura 10 cm. Si su base menor mide
30cm entonces la base mayor mide
A. 60cm
B. 55cm
C. 50cm
D. 45cm
2. Al despejar
a
de la ecuacin
v at v0 se obtiene
A. a
t v
v0
v v0
t
v t
C. a
v0
B. a
D. a
v0 v
t
3. Al simplificar la funcin S xyz xz

se obtiene
A. S x y
B. S x z
C. S x yz
D. S xz yz
4. Al
resolver
la
2 x 1 x 1 0
ecuacin
1
A. x , x 1
2
B. x 1, x 1
1
C. x , x 1
2
1
D. x , x 1
2
5. Si la altura de un trapecio mide 10cm
y sus bases 12cm y 8cm entonces su
rea es
A. 200cm2
B. 150cm2
C. 180cm2
D. 100cm2
6. La proposicin Si el rea de un
crculo es 400 cm2 entonces su radio
mide 40cm es
A. una conjuncin
B. una disyuncin
C. un condicional
D. un bicondicional
7. La funcin de salida del circuito de la
figura es
A. S D ABC AC
.
B. S D ABC A.C
C.
D.

S D ABC A.C
S D ABC A.C
A. Modus Tollendo ponens

B. Modus Ponendo ponens
C. Modus Tollendo tollens
D. Silogismo hipottico
9. La regla de razonamiento que permite
u
deducir
de la premisa
r s u es
A. Conmutativa de la disyuncin
B. Simplificacin
C. Ponendo ponens
D. Tolendo tollens
10. Una simplificacin de la funcin
S ABC ABC ABC ABC ABC ABC
es
A. S C AB
B. S A CB
C. S A B
D. S B AB
8. La regla de razonamiento que permite

deducir m n de las premisas
m n t y t es
BIBLIOGRAFA
Barco, C. (2005). Algebra Booleana. Aplicaciones tecnolgicas. Manizales, Colombia: Universidad de
Caldas.
Tocci, R. (1996). Sistemas digitales. Mexico: Prentice-Hall.
HOJA DE RESPUESTAS
CIENCIAS BSICAS
Nombre
COEVALUACIN
SABER PRO
Cdigo
Grupo

Introducción Al Algebra de Boole

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Introducción Al Algebra de Boole

Cargado por

Copyright:

Formatos disponibles

1

Introduccin al lgebra de Boole.

2.1 OPERACIONES Y COMPUERTAS DEL LGEBRA DE BOOLE

Operacin y Compuerta AND (Y).

Operacin y compuerta OR (O).

2.2.2.1 Operacin y Compuerta XOR (o excluyente).

2.2.2.2 Compuerta NAND (AND negada)

2.2.2.3 Compuerta NOR (OR negada)

2.2.2.4 Compuerta NXOR (XOR negada).

2.2 LEYES DEL LGEBRA DE BOOLE

2.2.1 Postulados o axiomas del lgebra de Boole

2.2.2 Teoremas del lgebra de Boole

2.3 FUNCIONES DE BOOLE Y SU SIMPLIFICACIN

2.3.1 Simplificvacin algebraica

2.3.2 Simplificacin mediante el Mapa de Karnaugh

2.3.2.1 Mapa para la suma de productos

Cunto sabemos? Evaluacin Saber Pro

TOCCI, Ronald. Sistemas digitales. Principios y aplicaciones. Mxico: Prentice

George Boole, 1815-1864.

Cicern Jimnez Sierra

Introduccin al lgebra de Boole.

encuentra eliminando el trmino medio de un sistema de tres ecuaciones,

Figura 21 Discretizacin de voltajes en 0 y

Figura 22 Seales digitales en el tiempo.

Al representar grficamente la presencia de estos dos voltajes 0 y 1 en el tiempo mediante

OPERACIONES Y COMPUERTAS DEL LGEBRA DE

2.1.2 Operaciones y compuertas fundamentales

Operacin y Compuerta AND (Y).

Cicern Jimnez Sierra

Introduccin al lgebra de Boole.

Figura 23 Circuito simple AND

Figura 2 4 Significado de la operacin multiplicacin lgica.

El concepto de multiplicacin lgica expuesta coincide con la multiplicacin ordinaria en

Figura 2 5 Smbolo de la operacin y compuerta AND

Seales de entrada y de salida en la compuerta AND

La figura 26 muestra como la compuerta AND procesa la informacin proporcionada por

salir de la compuerta se obtiene la seal de salida S = A.B. El proceso que realiza la

Figura 2 6 Proceso de la compuerta AND

Figura 27 Diferentes tipos de compuertas AND segn el nmero de Entradas A, B, de la compuerta.

Las ocho combinaciones para la Compuerta de tres entradas A, B y C proporcionan una

Figura 28 Significado de la operacin AND con tres Entradas A, B y C.

Introduccin al lgebra de Boole.

Operacin y compuerta OR (O).

Esta operacin y compuerta es la operacin Disyuncin Inclusiva del Clculo

Figura 29 Circuito simple OR

Figura 210 Significado de la operacin suma lgica.

Aunque la operacin OR se simboliza con +, el concepto de suma lgica no coincide con

Figura 211 Smbolo de la operacin y compuerta OR

Seales de entrada y de salida en la compuerta OR

Figura 212 Proceso de la compuerta OR

A1 , A2 , A3 ,..., An y una sola salida S.

Diferentes tipos de compuertas OR segn el nmero de Entradas A, B, de la compuerta.

Cicern Jimnez Sierra

Introduccin al lgebra de Boole.

Figura 214 Significado de la operacin OR con tres Entradas A, B y C.

Operacin y Compuerta NOT (no, inversor)

sta es la opeacin Negacin

del Clculo Proposicional que denotaremos con una barra

encima de una letra, A . Significa invertir el valor de verdad de la entrada A. En el contexto

Figura 215 Significado de la operacin Complemento.

Figura 216 Smbolo de la operacin y compuerta NOT

Contrariamente a lo que ocurre con la AND, la el resultado de la OR equivale a una AND

Figura 218 Dos formas diferentes de obtener una OR de dos Entradas A y B.