U N I D A D 5 : ALGEBRAS BOOLEANAS Y CIRCUITOS COMBINATÓRIOS

Los conjuntos en la teoría de conjuntos y las proposiciones en la lógica proposicional tienen

propiedades que cumplen leyes similares. Son estas leyes las que se emplean para definir una
estructura matemática abstracta llamada Algebra de Boole en honor al matemático y lógico
británico George Boole (1815-1864), inventor del álgebra de Boole o algebra Booleana, la cual
establece los fundamentos de la aritmética computacional moderna y formalizo las operaciones
y el pensamiento lógico. Boole es considerado uno de los fundadores del campo de las ciencias
de la computación. Desarrolló un sistema de reglas que permiten manipular problemas de lógica bivalente
(argumentos que admiten solo dos estados) por medio de procedimientos matemáticos. En la actualidad, el álgebra
de Boole se aplica de forma generalizada en el campo del diseño electrónico.
Un algebra Booleana es una estructura algebraica conformada por un conjunto B no vacío, el cual está formado
por elementos x, y, z,, y dotada por dos operaciones binarias en B llamadas suma y producto, denotadas
respectivamente por  y  , y por un operador unario ' en B los cuales cumplen con las siguientes leyes:
Ley de clausura: x, y  B se tiene que: Ley conmutativa: x, y  B se tiene que:
x  yB x y  yx
x yB x y  y x
Ley asociativa: x, y, z  B se tiene que: Ley distributiva: x, y, z  B se tiene que:
x  y   z  x   y  z  x   y  z   x  y   x  z 
x  y   z  x   y  z  x  y  z  x  y  x  z
Identidad: x  B existe un elemento neutro aditivo Complemento: x  B existe x' B
0 y un elemento neutro multiplicativo 1 , tales que: llamado complemento de x , tal que:
x0 x x  x ' 1
x 1  x x  x ' 0
5.1 LEYES FUNDAMENTALES
Idempotencia: Acotación: Morgan: Absorción: 0-1: Involución:
x x  x x 1  1 x  y  '  x ' y ' x  x y  x 1' 0  x ' '  x
x x  x x0  0 x  y  '  x ' y ' x  x  y   x 0 ' 1
Las interpretaciones de los símbolos 0 y 1 en un sistema lógico bivalente como lo es el álgebra de Boole son
respectivamente  (nada) y U (universo), los cuales son sólo nombres simbólicos y no tienen relación con los
números enteros 0 y 1 . Lo mismo ocurre con los símbolos  y  , los cuales denotan operadores binarios y en
general no tienen relación con la suma y multiplicación comunes. Hay numerosos casos de estructuras algebraicas
que corresponden al álgebra de Boole, aunque en apariencia son muy diferentes, su estructura es la misma.
Ejemplo No. 80
La lógica binaria: Es posiblemente la forma más conocida del algebra de Boole. Sea B el conjunto formado
por 1,0 , V , F  ó Si , No, los cuales son valores contrapuestos. Sin pérdida de generalidad se asumirá
que B  1,0. Sean  y  las dos operaciones definidas como sigue:
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 47
  0 1  0 1
0 0 1 0 0 0
1 1 1 1 0 1
Entonces el conjunto B y las operaciones  y  , junto con 0'  1 y 1'  0 es un algebra de Boole. En este
caso el elemento neutro aditivo es 0 y el elemento neutro multiplicativo es 1 .
El álgebra de conjuntos: Dado cualquier conjunto U y sea B el conjunto potencia de U , es decir B  PU
. Sean  y  las operaciones de unión e intersección entre conjuntos respectivamente, es decir    y
   . Entonces el conjunto B y las operaciones  y  , junto con el complemento es un algebra de Boole.
En este caso el elemento neutro para la unión es  y el elemento neutro para la intersección es U .
El álgebra de proposiciones: Sea B un conjunto de proposiciones. Sean  y  las operaciones de
disyunción y conjunción entre proposiciones respectivamente, es decir    y    . Entonces el conjunto
B y las operaciones  y  , junto con la negación es un algebra de Boole. En este caso el elemento neutro
para la disyunción es F y el elemento neutro para la conjunción es V . ■
A continuación se observan las leyes del algebra de Boole de la lógica binaria (lógica bivalente) y su análogo en el
álgebra de conjuntos de la teoría de conjuntos y el álgebra de proposiciones de la lógica proposicional:
Leyes. Álgebra de conjuntos. Álgebra de proposiciones.
Clausura: x  yB A BB p  qB
x yB A BB p  qB
Conmutativa: x  y  y  x A B  B  A pq  q p
x y  y x A B  B  A pq  q p
Asociativa: x  y   z  x   y  z   A  B  C  A  B  C   p  q  r  p  q  r 
x  y   z  x   y  z   A  B  C  A  B  C   p  q  r  p  q  r 
Distributiva: x   y  z   x  y   x  z  A  B  C    A  B   A  C  p  q  r    p  q    p  r 
x   y  z   x  y   x  z  A  B  C    A  B   A  C  p  q  r    p  q    p  r 
Identidad: x0 x A   A p F  p
x 1  x A U  A p V  p
Complemento: x  x '  1 A A  U p ~ p  V
x  x ' 0 A A  p ~ p  F
Idempotencia: x  x  x A A  A p p  p
x x  x A A  A p p  p
Acotación: x 1  1 A U  U p V  V
x0  0 A    pF  F
Morgan: x  y  '  x ' y ' A B  A B ~  p  q  ~ p  ~ q
x  y  '  x ' y ' A B  A B ~  p  q  ~ p  ~ q
Absorción: x  x  y   x A   A  B  A p   p  q  p
x  x  y   x A   A  B  A p   p  q  p
0-1: 1' 0 U  ~V  F
0 ' 1 U ~ F V
Involución:  x ' '  x A A ~ ~ p   p

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 48
 Ejemplo No. 81
Demuestre las siguientes igualdades:
a. x  0  x b. x 1  x c. x  x '  1 d. x  x ' 0 e. x x  x
f. x  x  x g. x  1  1 h. x  0  0 i. x  x y  x j. x  x  y   x
Demostración:
a. x  x 1 Ley de identidad. b. x  x0 Ley de identidad.
 x   x  x ' Ley de complemento.  x  x x ' Ley de complemento.
 x x  x x ' Ley distributiva.  x  1  x ' Ley distributiva.
 x  x x ' Ley de idempotencia.  x 1 Ley de acotación.
 x0 Ley de complemento.
c. 1  0' Ley 0-1. d. 0  1' Ley 0-1.
  x  x ' ' Ley de complemento.   x  x ' ' Ley de complemento.
 x 'x ' ' Ley de Morgan.  x 'x ' ' Ley de Morgan.
 x ' x Ley de involución.  x 'x Ley de involución.
 xx' Ley conmutativa.  x x ' Ley conmutativa.
e. x  x0 Ley de identidad. f. x  x 1 Ley de identidad.
 x  x x ' Ley de complemento.  x   x  x ' Ley de complemento.
 x  x   x  x ' Ley distributiva.  x x  x x ' Ley distributiva.
 x  x   1 Ley de complemento.  x x  0 Ley de complemento.
 xx Ley de identidad.  x x Ley de identidad.
g. x  1  x  1 0 Ley de identidad. h. x0  x0 0 Ley de identidad.
 x  x  x ' x  x ' Ley de complemento.  x0  x x ' Ley de complemento.
 x  x ' x  x ' Ley de idempotencia.  x  0  x ' Ley distributiva.
 x  x '1  x  Ley distributiva.  x  x' Ley de identidad.
 x  x '1 Ley de acotación. 0 Ley de complemento.
 xx' Ley de identidad.
1 Ley de complemento.
i. x  x  y  x  1  y  Ley distributiva. j. x  x  y   x  x  x  y Ley distributiva.
 x 1 Ley de acotación.  x  x y Ley de idempotencia.
x Ley de identidad.  x  1  y  Ley distributiva.
 x 1 Ley de acotación.
x Ley de identidad. ■
De ahora en adelante se escribirá x  y como xy siempre que sea posible, se asumirá el producto  con un nivel
de precedencia mayor que la suma  y se desarrollara el Álgebra de Boole en el contexto de la lógica binaria.
La propiedad dual es toda propiedad que pueda deducirse de las propiedades básicas o propiedades derivadas, la
cual da lugar a otra propiedad que se obtiene intercambiando:
Las operaciones suma  y producto  .
Los símbolos 0 y 1 .
Por ejemplo el dual de la ley de complemento x  x '  1 es xx '  0 .

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 49
 Ejemplo No. 82
Demuestre que el elemento x ' de un algebra de Boole es único, es decir si x  y  1 y xy  0 , entonces y  x ' .
Demostración:
y  y 1 Ley de identidad.
 y  x  x ' Ley de complemento.
 yx  yx ' Ley distributiva.
 0  yx ' Por hipótesis.
 xx ' yx ' Ley de complemento.
 x ' x  y  Ley distributiva.
 x '1 Por hipótesis.
 x' Ley de identidad. ■
Una expresión booleana E de una álgebra de Boole asociada al conjunto B es toda aplicación E : Bn  B de
manera que Ex1 , x2 ,, xn  pueda expresarse a partir de las operaciones booleanas definidas en B y
efectuadas sobre las variables x1 , x2 ,, xn .

Ejemplo No. 83
Los siguientes son ejemplos de expresiones Boolenas:
Ex1 , x2   x '1 x2  x1 x ' 2 Ex, y, z   xy  xy ' z  x ' Ea, b, c   ab  a ' b  c ■
Un literal es una variable o una variable complementada. Por ejemplo x y x ' son literales.
Un producto fundamental es un literal o un producto de dos o más literales, en el cual no hay dos o más
literales con la misma letra. Por ejemplo xy, xyz , x ' y z son productos fundamentales, pero xyzx y xyzx '
no son productos fundamentales ya que el primero contiene x dos veces y el segundo contiene x y x ' .
Una expresión booleana E está en la forma de suma de productos si E es un producto fundamental o una
suma de dos o más productos fundamentales en donde ninguno de ellos está contenido en otro.
Una expresión booleana E está en la forma completa de suma de productos si E está en la forma de
suma de productos y además los productos contienen todas las variables. Cada termino en este caso recibe el
nombre mintermino.
Ejemplo No. 84
La expresión booleana Ex, y, z   xy  xy ' z  x ' yz ' es una suma de productos.
La expresión booleana Ex, y, z   xy  x ' yx ' xy ' z no es una suma de productos, ya que el segundo
término no es un producto fundamental.
La expresión booleana Ex, y, z   xy  xyz  xy ' z no es una suma de productos, ya que el primer término
está contenido en el segundo término.
La expresión booleana Ex, y, z   xyz  xy ' z  x ' y ' z ' está en la forma completa de suma de productos.
La expresión booleana Ex, y, z   xy  x ' z  xy ' z no está en la forma completa de suma de productos.
La expresión booleana Ex, y   xy  x ' no está en la forma completa de suma de productos. ■

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 50
5.2 TABLAS DE VERDAD DE EXPRESIONES BOOLEANAS
Las tablas de verdad se utilizan para representar la manera en que los valores de una expresión booleana E
dependen de los valores de las variables que la constituyen. Incluyen todas las posibles combinaciones de los
valores que pueden tomar tales variables y el resultado en cada caso. Para construir la tabla de verdad de una
expresión booleana se debe tener en cuenta el número n de variables booleanas. En general existen 2 n formas
posibles de asignar los valores 0 y 1 a tales variables.
Ejemplo No. 85
A continuación se muestra la tabla de verdad de la expresión booleana:
Ex, y   xy  x ' y  xy '
x y x' y' xy x'y xy ' xy  x ' y  xy '
1 1 0 0 1 0 0 1
1 0 0 1 0 0 1 1
0 1 1 0 0 1 0 1
0 0 1 1 0 0 0 0

Ejemplo No. 86
Exprese las siguientes expresiones booleanas en forma completa de suma de productos:
a. Ex, y, z   xy  x ' z  xy ' z
b. Ex, y, z   x y  z ' x ' y ' z  '
Solución:
a. Ex, y, z   xy  x ' z  xy ' z  xyz  z '  x ' z y  y '  xy ' z
 xyz  xyz ' x ' yz  x ' y ' z  xy ' z
b. Ex, y, z   x y  z ' x ' y ' z  '  xy  xz 'x ' '  y ' z  '  xy  xz 'x y ' '  z '
 xy  xz 'xy  z '  xy  xz 'xy  xz '
 xyxy  xyxz ' xz ' xy  xz ' xz '  xy  xyz ' xyz ' xz '  xy  xyz ' xz '
 xy z  z '  xyz ' xz '  y  y '  xyz  xyz ' xyz ' xyz ' xy ' z '  xyz  xyz ' xy ' z ' ■
5.3 COMPUERTAS LOGICAS
Una compuerta lógica son dispositivos de estado sólido que tienen una o varias entradas y
exactamente una salida. Se puede considerar una compuerta lógica como un mecanismo
en el cual se introducen valores digitales en sus entradas y el valor del resultado aparece
en la salida. Cada compuerta tiene asociada una tabla de verdad, la cual expresa el estado
de su salida para cada combinación posible de estados en las entradas. El matemático,
ingeniero eléctrico y criptógrafo estadounidense Claude Elwood Shannon (1916-2001),
considerado como el padre de la teoría de la información, observo que el álgebra Booleana
podría usarse para analizar circuitos eléctricos. Como resultado experimento con relevadores e interruptores
conectados en serie, paralelo u otras configuraciones para crear las primeras compuertas lógicas funcionales, tal
como se muestra en la siguiente tabla, en la cual se muestra además su analogía con las operaciones de
intersección, unión y complemento del álgebra de conjuntos de la teoría de conjuntos y con las operaciones de
conjunción, disyunción y negación del álgebra de proposiciones de la lógica proposicional:
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 51
 Compuerta lógica AND Compuerta lógica OR Compuerta lógica NOT

Circuito en serie de interruptores Circuito en paralelo de interruptores Interruptor normalmente cerrado

Intersección en el álgebra de conjuntos Unión en el álgebra de conjuntos Complemento en el álgebra de conjuntos

A B A B A
Conjunción en el álgebra de proposiciones Disyunción en el álgebra de proposiciones Negación en el álgebra de proposiciones
pq pq ~p

En la actualidad una compuerta lógica es un conjunto de transistores (dispositivo electrónico

semiconductor utilizado para entregar una señal de salida en respuesta a una señal de entrada)
dentro de un circuito integrado (estructura de pequeñas dimensiones de material
semiconductor, normalmente silicio, sobre la que se fabrican circuitos electrónicos), que puede
contener cientos de ellas. De hecho un microprocesador no es más que un circuito integrado
compuesto por millones de compuertas lógicas. En la siguiente figura se muestra el circuito
integrado CD4081 con cuatro compuertas lógicas AND. Las entradas de una compuerta lógica
pueden tener el valor de 0 o 1. Tales datos son procesados por la compuerta para dar un valor en su salida de 0 o 1.
Los valores 0 y 1 representan ciertas situaciones como voltajes nulos y no nulos en cualquier dispositivo
electrónico. Los circuitos lógicos se construyen a partir de ciertos circuitos elementales denominados compuertas
lógicas, entre las cuales están las compuertas lógicas básicas AND, OR, BUFFER y NOT y las compuertas lógicas
derivadas NAND, NOR, XOR y NXOR. Se verá a continuación el símbolo que se utiliza, la tabla de verdad y el circuito
que representan las compuertas lógicas básicas:
Compuerta lógica Representación Tabla de verdad Circuito asociado

x y x y
1 1 1
AND 1 0 0
0 1 0
0 0 0

x y x y
1 1 1
OR 1 0 1
0 1 1
0 0 0

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 52
 x x
BUFFER 1 1
0 0

x x'
NOT 1 0
0 1

x y x  y  '
1 1 0
NAND 1 0 1
0 1 1
0 0 1

x y x  y  '
1 1 0
NOR 1 0 0
0 1 0
0 0 1

5.4 CIRCUITOS COMBINATORIOS

Los circuitos combinatorios o circuitos lógicos se obtienen combinando las compuertas lógicas, las variables de
entrada y la variable de salida. La salida de un circuito combinatorio depende de manera única de la combinación de
sus entradas. Manejan la información en forma de 0 o 1 como dos niveles lógicos de voltaje fijos, en el cual el 0 es
un nivel bajo o LOW (voltaje nulo) y el 1 es un nivel alto o HIGH (voltaje no nulo). Los circuitos combinatorios forman
la base de cualquier mecanismo en el que se tenga que combinar señales de manera controlada y permitir que los
dispositivos de dicho mecanismo se comuniquen entre sí, tomando un bit en alguna parte del circuito y transmitirlo
a otra parte de dicho circuito como un voltaje. Entre los campos de aplicación de estos tipos de circuitos pueden
mencionarse la conmutación telefónica, la transmisión por satélite y la computación digital. A todo circuito
combinatorio se le puede asociar con una expresión booleana que lo representa de manera equivalente.
Ejemplo No. 87
A continuación se muestra un circuito combinatorio con sus correspondientes entradas y la expresión booleana que
representa su salida:

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 53
 El producto de variables booleanas se comporta como un circuito eléctrico en donde los interruptores están en
serie. Es necesario que todos los interruptores estén cerrados, es decir que las variables tengan un valor de 1
para que haya paso de corriente, es decir para que el resultado sea 1.
La suma de variables booleanas se comporta como un circuito eléctrico en donde los interruptores están en
paralelo. Es necesario que todos los interruptores estén abierto, es decir que las variables tengan un valor de
0 para que no haya paso de la corriente, es decir para que el resultado sea 0.
Las tablas de verdad también se emplean para indicar la manera en que la salida de un circuito combinatorio
depende de los valores de las variables booleanas de entrada.
Ejemplo No. 88
A continuación se muestra la tabla de verdad del circuito combinatorio del ejemplo anterior:
x y z x' y' z' x 'z ' xy ' z  x ' z ' ' xy ' z ' xy ' z  x ' z ' ' xy ' z '
1 1 1 0 0 0 0 0 1 0 1
1 1 0 0 0 1 0 0 1 0 1
1 0 1 0 1 0 0 1 1 0 1
1 0 0 0 1 1 0 0 1 1 1
0 1 1 1 0 0 0 0 1 0 1
0 1 0 1 0 1 1 0 0 0 0
0 0 1 1 1 0 0 0 1 0 1
0 0 0 1 1 1 1 0 0 0 0
5.5 SIMPLIFICACIÓN DE CIRCUITOS COMBINATORIOS
Dos circuitos combinatorios con entradas x1 , x2 ,, xn y una sola salida Ex1 , x2 ,, xn  son equivalentes,
si siempre que reciban las mismas entradas producen las mismas salidas, es decir si tienen la misma tabla de
verdad. Si tales circuitos son equivalentes también lo serán sus respectivas expresiones booleanas.
La expresión booleana asociada a un circuito combinatorio, puede ser reducida a una forma más simple que
contenga menos términos. La nueva expresión puede utilizarse para construir un circuito que sea equivalente al
original pero que contenga menos compuertas y conexiones.
Ejemplo No. 89
Los siguientes circuitos combinatorios son equivalentes y por ende sus expresiones booleanas asociadas también
lo son, ya que como se observa a continuación tienen la misma tabla de verdad:

x y x y x  y  ' x y x' y' x'y'

1 1 1 0 1 1 0 0 0
1 0 1 0 1 0 0 1 0
0 1 1 0 0 1 1 0 0
0 0 0 1 0 0 1 1 1
Las expresiones booleanas que generan los circuitos combinatorios, se pueden simplificar algebraicamente o
aplicando los mapas de Karnaugh.
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 54
5.5.1 Simplificación de circuitos combinatorios algebraicamente
Consiste en la utilizar las propiedades del álgebra de Boole junto con las leyes fundamentales para hallar una
expresión booleana equivalente y en forma simplificada a la original.
Ejemplo No. 90
La simplificación de la expresión booleana Ex, y, z   xy ' z  x ' z ' ' xy ' z ' se muestra a continuación:
Ex, y, z   xy ' z  x ' z ' ' xy ' z '  xy ' z  x ' 'z ' ' xy ' z '  xy ' z  x  z  xy ' z '
 xy ' z  z '  x  z
 xy ' x  z  x y '1  z  x  z
Es decir el circuito combinatorio original junto con su tabla de verdad asociada a dicha expresión booleana es
equivalente al siguiente circuito combinatorio y su correspondiente tabla de verdad:

x y z xy ' z  x ' z ' ' xy ' z ' x y z xz

1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1
1 0 1 1 1 0 1 1
1 0 0 1 1 0 0 1
0 1 1 1 0 1 1 1
0 1 0 0 0 1 0 0
0 0 1 1 0 0 1 1
0 0 0 0 0 0 0 0
Puede observarse que la tabla de verdad de ambas expresiones booleanas son la misma y que los valores de la
variable y en el circuito simplificado no influyen en el resultado. ■
Ejemplo No. 91
Simplifique las siguientes expresiones booleanas:
a. Ex, y, z   x  x ' y  xyz ' xz  xz '
b. Ex, y, z   x  y x  y 'x ' y 
Solución:
a. Ex, y, z   x  x ' y  xyz ' xz  xz '  x1  yz '  x ' y  xz  z '   x 1  x ' y  x 1
 xx'yx  xx'y
b. Ex, y, z   x  y x  y 'x ' y   xx  xy ' xy  yy 'x ' y   x  xy ' xy  0x ' y 
 x  xy ' xy x ' y 
 x  x y ' y x ' y 
 x  x 1x ' y 
 x  xx ' y 
 xx ' y 
 xx ' xy  0  xy  xy ■

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 55
5.5.2 Simplificación de circuitos combinatorios usando mapas de Karnaugh
Son una herramienta gráfica utilizada para simplificar expresiones booleanas, es decir para simplificar los
circuitos combinatorios asociados a tales expresiones booleanas, con el objetivo de diseñarlos con el mínimo de
compuertas y conexiones. Son una versión modificada de las tablas de verdad, permitiendo mostrar la relación
entre las entradas y la salida. Para simplificar una expresión booleana asociada a un circuito combinatorio por
medio de mapas de Karnaught, se representan las 2 n posibles combinaciones de los valores de entrada en celdas
que se enumeran según sea el caso de la siguiente manera:

n2

n3

n4


Posteriormente se marcan las celdas que contienen los minterminos de la expresión booleana a simplificar y se
suman tales minterminos adyacentes para anular las variables complementadas. El circuito simplificado es la
suma de los términos resultantes.
Mapas de Karnaugh con dos variables
Con dos variables se pueden formar cuatro minterminos distintos. Una celda constituye un mintermino formado por
dos variables. Las reglas para reducir términos en un mapa de Karnaugh con dos variables son:
 Dos celdas adyacentes representan la suma de dos mintérminos, resultando un término de una variable.
 Cuatro celdas adyacentes representan la suma de cuatro mintérminos, resultando un 1 .
Ejemplo No. 92
Considérese el problema de construir un circuito combinatorio que satisfaga la tabla de verdad de la izquierda.
Para tal efecto se consideran los minterminos que se muestran en la tabla de la derecha:
x y E x, y  x y Miterminos
1 1 1 1 1 xy
1 0 0  1 0
0 1 1 0 1 x'y
0 0 1 0 0 x'y'
El circuito combinatorio asociado con su correspondiente expresión booleana es el siguiente:

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 56
Para simplificar el anterior circuito combinatorio usando mapas de Karnaugh, de tal manera que sea menos
voluminoso y genere menos costos de implementación, se colocan los valores de la tabla en el mapa, ubicando cada
1 de la salida E en la coordenada correspondiente. Veamos:
y' y
x' 1 1
x 1
Posteriormente se suman los minterminos adyacentes para anular las variables complementadas:
x ' y  x ' y '  x '  y  y '  x '1  x '
xy  x ' y  yx  x '  y 1 y
Por último se suman los términos resultantes, obteniéndose la simplificación de la expresión booleana asociada al
circuito original, la cual es Ex, y   x ' y . El circuito combinatorio y tabla de verdad correspondiente es:

x y x' x ' y
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1
En la anterior tabla de verdad se puede observar claramente que el circuito combinatorio simplificado cumple con
las mismas funciones lógicas que el circuito original. ■
Mapas de Karnaugh con tres variables
Con tres variables se pueden formar ocho minterminos distintos. Una celda constituye un mintermino formado por
tres variables. Las reglas para reducir términos en un mapa de Karnaugh de tres variables son:
 Dos celdas adyacentes representan la suma de dos mintérminos, resultando un término de dos variables.
 Cuatro celdas adyacentes representan la suma de cuatro mintérminos, resultando un término de una variable.
 Ocho celdas adyacentes representan la suma de ocho mintérminos, resultando un 1 .
Ejemplo No. 93
Considérese el problema de construir un circuito combinatorio que satisfaga la tabla de verdad de la izquierda.
Para tal efecto se consideran los minterminos que se muestran en la tabla de la derecha:

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 57
 x y z E x, y, z  x y z Miterminos
1 1 1 1 1 1 1 xyz
1 1 0 0 1 1 0
1 0 1 0 1 0 1
1 0 0 0  1 0 0
0 1 1 1 0 1 1 x ' yz
0 1 0 0 0 1 0
0 0 1 1 0 0 1 x ' y 'z
0 0 0 1 0 0 0 x ' y 'z '

El circuito combinatorio asociado con su correspondiente expresión booleana es el siguiente:

Para simplificar el anterior circuito combinatorio usando mapas de Karnaugh, de tal manera que sea menos
voluminoso y genere menos costos de implementación, se colocan los valores de la tabla en el mapa, ubicando cada
1 de la salida E en la coordenada correspondiente. Veamos:
y 'z ' y 'z yz yz '
x' 1 1 1
x 1
Posteriormente se suman los minterminos adyacentes para anular las variables complementadas:
x ' y ' z  x ' y ' z '  x ' y ' z ' z   x ' y '1  x ' y '
x ' yz  x ' y ' z  x ' z y  y '  x ' z 1  x ' z
xyz  x ' yz  yz x  x '  yz 1  yz
Por último se suman los términos resultantes, obteniéndose la simplificación de la expresión booleana asociada al
circuito original, la cual es Ex, y, z   x ' y ' x ' z  yz . El circuito combinatorio y tabla de verdad
correspondiente es:

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 58
 x y z x' y' x'y' x 'z yz x ' y ' x ' z  yz
1 1 1 0 0 0 0 1 1
1 1 0 0 0 0 0 0 0
1 0 1 0 1 0 0 0 0
1 0 0 0 1 0 0 0 0
0 1 1 1 0 0 1 1 1
0 1 0 1 0 0 0 0 0
0 0 1 1 1 1 1 0 1
0 0 0 1 1 1 0 0 1
En la anterior tabla de verdad se puede observar claramente que el circuito combinatorio simplificado cumple con
las mismas funciones lógicas que el circuito original. ■
Mapas de Karnaugh con cuatro variables
Con cuatro variables se pueden formar dieciséis minterminos distintos. Una celda constituye un mintermino
formado por cuatro variables. Las reglas para reducir términos en un mapa de Karnaugh de cuatro variables son:
 Dos celdas adyacentes representan la suma de dos mintérminos, resultando un término de tres variables.
 Cuatro celdas adyacentes representan la suma de cuatro mintérminos, resultando un término de dos variables.
 Ocho celdas adyacentes representan la suma de ocho mintérminos, resultando un término de una variable.
 Dieciséis celdas adyacentes representan la suma de dieciséis mintérminos, resultando un 1 .
Ejemplo No. 94
Aplique mapas de Karnaugh para simplificar las siguientes expresiones booleanas:
a. Ex, y, z, w  x ' y ' z ' w  x ' y ' zw ' x ' y ' zw  x ' yz ' w  x ' yzw  xy ' z ' w  xy ' zw
b. Ex, y, z, w  xyz ' w  xyzw  x ' yz ' w ' x ' yzw ' xy ' z ' w ' xy ' zw ' x ' y ' z ' w ' x ' y ' zw '
Solución:
a. Se coloca cada mintermino de E en la coordenada correspondiente. Veamos:
z 'w ' z 'w zw zw '
x'y' 1 1 1
x'y 1 1
xy
xy ' 1 1
Posteriormente se suman los minterminos adyacentes para anular las variables complementadas:
x ' y ' zw  x ' y ' z ' w  x ' y ' wz  z '  x ' y ' w 1  x ' y ' w
x ' y ' zw  x ' y ' zw '  x ' y ' zw  w '  x ' y ' z 1  x ' y ' z
x ' yzw  x ' yz ' w  x ' y ' zw  x ' y ' z ' w  x ' ywz  z '  x ' y ' wz  z '
 x ' yw 1  x ' y ' w 1
 x ' yw  x ' y ' w  x ' w y  y '  x ' w 1  x ' w
xy ' zw  xy ' z ' w  x ' y ' zw  x ' y ' z ' w  xy ' wz  z '  x ' y ' wz  z '
 xy ' w 1  x ' y ' w 1
 xy ' w  x ' y ' w  y ' wx  x '  y ' w 1  y ' w
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 59
 Por último se suman los términos resultantes, obteniéndose la simplificación de la expresión booleana dada, la
cual es Ex, y, z, w  x ' w  y ' w  x ' y ' z  x ' y ' w
b. Se coloca cada mintermino de E en la coordenada correspondiente. Veamos:
z 'w ' z 'w zw zw '
x'y' 1 1
x'y 1 1
xy 1 1
xy ' 1 1
Posteriormente se suman los minterminos adyacentes para anular las variables complementadas:
xyzw  xyz ' w  xywz  z '  xyw 1  xyw
x ' yzw ' x ' yz ' w ' x ' y ' zw ' x ' y ' z ' w '  x ' yw ' z  z '  x ' y ' w ' z  z '
 x ' yw '1  x ' y ' w '1
 x ' yw ' x ' y ' w '  x ' w '  y  y '  x ' w '1  x ' w '
x y ' zw ' xy ' z ' w ' x ' y ' z w ' x ' y ' z ' w '  x y ' w ' z  z '  x ' y ' w ' z  z '
 x y ' w '1  x ' y ' w '1
 x y ' w ' x ' y ' w '  y ' w ' x  x '  y ' w '1  y ' w '
Por último se suman los términos resultantes, obteniéndose la simplificación de la expresión booleana dada, la
cual es Ex, y, z, w  xyw  x ' w ' y ' w ' ■

Ejemplo No. 95
Consideremos el problema de construir un circuito combinatorio para detectar los múltiplos positivos del cuatro en
binario con cuatro bits, es decir un circuito combinatorio que satisfaga la siguiente tabla de verdad:
Número en base 2
Número en base 10 x y z w E x, y, z, w Minterminos
15 1 1 1 1 0
14 1 1 1 0 0
13 1 1 0 1 0
12 1 1 0 0 1 xyz ' w '
11 1 0 1 1 0
10 1 0 1 0 0
9 1 0 0 1 0
8 1 0 0 0 1 xy ' z ' w '
7 0 1 1 1 0
6 0 1 1 0 0
5 0 1 0 1 0
4 0 1 0 0 1 x ' yz ' w '
3 0 0 1 1 0
2 0 0 1 0 0
1 0 0 0 1 0
0 0 0 0 0 1 x ' y ' z 'w '
El circuito combinatorio asociado con su correspondiente expresión booleana es el siguiente:

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 60
Para simplificar el anterior circuito combinatorio usando mapas de Karnaugh, de tal manera que sea menos
voluminoso y genere menos costos de implementación, se colocan los valores de la tabla en el mapa, ubicando cada
1 de la salida E en la coordenada correspondiente. Veamos:
z 'w ' z 'w zw zw '
x'y' 1
x'y 1
xy 1
xy ' 1
Posteriormente se suman los minterminos adyacentes para anular las variables complementadas:
xyz ' w ' xy ' z ' w ' x ' yz ' w ' x ' y ' z ' w '  xz ' w '  y  y '  x ' z ' w '  y  y '
 xz ' w '1  x ' z ' w '1
 xz ' w ' x ' z ' w '
 z ' w ' x  x '  z ' w ' 1  z ' w '
Obteniéndose la simplificación de la expresión booleana asociada al circuito original, la cual es
Ex, y, z, w  z ' w ' . El circuito combinatorio correspondiente, el cual cumple con las mismas funciones lógicas
que el circuito original es:

Ejercicios Propuestos No. 5

1. Determine la expresión booleana asociada a cada uno de los siguientes circuitos combinatorios:

a.

b.

2. Determine el circuito combinatorio asociado a cada una de las siguientes expresiones booleanas:
M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 61
 a. Ex, y, z   x y ' z   y b. Ex, y, z   xy ' xz ' y ' z '
c. Ex, y, z   x y  xy '  xy 'xz ' ' d. Ex, y, z, w  x ' x  y 'x ' z  y  z ' w ' '
3. Muestre que los siguientes circuitos combinatorios son equivalentes:

a.

b.

c.

d.

4. Demuestre las siguientes igualdades:

a. x  y  '  x ' y ' b. x  y  '  x ' y ' c. xy  x ' z  yz  xy  x ' z
d. x  y x  y '  x e. x  x ' y  x  y f. x  y x ' z  y  z   x  y x ' z 
5. Exprese las siguientes expresiones booleanas en la forma completa de suma de productos:
a. Ex, y, z     x ' y ' ' z  x  z  ' b. Ex, y, z     zx ' y  ' x ' z  '
c. Ex, y, z   x ' y 'x ' y  z '  y ' z ' d. Ex, y, z     yz ' 'x ' y  ' x ' z '

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 62
6. Dada la siguiente tabla de verdad. Emplee las propiedades del álgebra de Boole junto con las leyes
fundamentales para obtener la expresión booleana simplificada correspondiente a dicha tabla. Dibuje el circuito
combinatorio asociado a la expresión booleana simplificada.
x y z w E x, y, z, w
0 0 0 0 1
0 0 0 1 0
0 0 1 0 1
0 0 1 1 0
0 1 0 0 1
0 1 0 1 0
0 1 1 0 1
0 1 1 1 1
7. Dada la siguiente tabla de verdad. Emplee mapas de Karnaugh para obtener la expresión booleana simplificada
correspondiente a dicha tabla. Dibuje el circuito combinatorio asociado a la expresión booleana simplificada.
x y z E x, y, z 
1 1 1 0
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 1
8. Emplee las propiedades del álgebra de Boole junto con las leyes fundamentales para simplificar las siguientes
expresiones booleanas:
a. Ex, y, z   x ' y 'x ' y 'z b. Ex, y, z   x ' y 'z ' x ' y '
c. Ex, y, z   xx ' y x ' y ' d. Ex, y, z   xy  ' z x ' y ' '
e. Ex, y, z   x ' y  x ' z  ' y y  z ' f. Ex, y, z   x  xy  x  yz  ' ' x ' y
9. Aplique mapas de Karnaugh para simplificar las siguientes expresiones booleanas:
a. Ex, y, z   x ' y 'z ' x ' y '
b. Ex, y, z   x ' y 'x ' y 'z
c. Ex, y, z, w  y ' z ' w  yz ' w  z ' w ' yzw ' x ' y ' z
d. Ex, y, z, w  x ' yz ' w ' xyz ' w ' x ' y ' zw  x ' yzw  xy ' zw  x ' y ' zw '
10. Determine las expresiones booleanas simplificadas asociadas a los siguientes mapas de Karnaugh:

a. b.

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 63
 c. d.

11. Construya un circuito combinatorio que detecte los números primos en binario usando cuatro bits.
12. Diseñe un circuito para tener variables de entrada x , y y z , con salida 1 si y sólo si x y y tienen el mismo
valor y si y y z tienen valores opuestos.
13. Sea B  1,2,3,6 y sean  y  las operaciones x  y  mcmx, y y x  y  mcd x, y para todo
6
x, y  B . Pruebe que el conjunto B y las operaciones  y  , junto con la operación x'  es un algebra de
x
Boole en la cual el elemento neutro aditivo es el 1 y un elemento neutro multiplicativo es el 6 .
14. Sea B  1,2,4,8 y sean  y  las operaciones x  y  mcmx, y y x  y  mcd x, y para todo
8
x, y  B . Pruebe que el conjunto B y las operaciones  y  , junto con la operación x'  es un algebra de
x
Boole en la cual el elemento neutro aditivo es el 1 y un elemento neutro multiplicativo es el 8 .
15. Sea S n  1,2,3,, n y sean  y  las operaciones x  y  maxx, y y x  y  minx, y para todo
x, y  S n . Pruebe que el conjunto S n y las operaciones  y  , cumplen con la leyes asociativa, conmutativa
y distributiva.
16. Sea B  0,1 junto con las operaciones  ,  y ' el álgebra booleana de la lógica binaria. Pruebe que si
A  B , entonces A junto con las operaciones  ,  y ' es un álgebra booleana si y solamente si 1  A y
xy ' A para todo xy  A .
17. Se desea dotar a un ascensor de un dispositivo de seguridad para impedir que puedan viajar menores de edad o
pesos excesivos. El ascensor sólo podría ponerse en funcionamiento cuando esté vacío o cuando su carga esté
comprendida entre 25 kg y 300 kg . Para cumplir con este objetivo se coloca en el ascensor tres sensores.
El sensor x es sensible a cualquier peso, el sensor y es sensible a pesos superiores a 25 kg y el sensor z
es sensible a pesos superiores a 300 kg . Diseñe el circuito combinatorio más simple posible que cumpla con
las condiciones establecidas.
18. Tres interruptores x , y y z controlan una luz roja y una luz verde del modo siguiente:
 Cuando los tres interruptores están cerrados, se enciende la luz roja.
 Cuando el interruptor x está abierto y los interruptores y o z están cerrados se enciende la luz verde.
 No deben encenderse ambas luces a la vez.
 En el resto de los casos la luz roja debe encenderse, excepto cuando los tres interruptores estén abiertos.
En este caso no debe encenderse ninguna luz.
Diseñe el circuito combinatorio más simple posible que cumpla con las condiciones establecidas.

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 64