LOGICA

COMBINATORIA
Postulados y Teoremas del Álgebra de Boole.- En
el álgebra de Boole existen varios
postulados, identidades y teoremas
básicos.
Postulado.- Principio cuya admisión
es necesaria para establecer una
demostración. Verdad evidente que
no necesita demostrarse.
Iden4dad.- Igualdad cuyos dos
miembros son idénticos.
Teorema.- Enunciado de una
proposición o de una propiedad que
se demuestra por un razonamiento
lógico a partir de hechos dados o
de hipótesis, incluídos en este
enunciado. Proposición científica
que se puede demostrar.
 demostrar.

Postulados [de Huntington]

0 x 0 = 0 1 + 0 = 1

0 x 1 = 0 1 + 0 = 1

1 x 0 = 0 0 + 1 = 1

1 x 1 = 1 0 + 1 = 0

= 0 = 1 ≤ Com p lem en to

P R O D U C TO LÓ G IC O S U M A LÓ G IC A

Principio de de
Principio Dualidad.-
Dualidad.- Si
Si se
seobserva los postulados
observa los
y las relaciones algebraicas anteriores, se ve que
postulados y las relaciones
hay dos formas para cada uno de ellos. Esto parece
algebraicas anteriores, se ve que
implicar que debería comprobarse ambas relaciones.
hay dos formas para cada uno de
ellos. Esto parece implicar que
debería
Carlos Novillocomprobarse
Montero ambas Can
relaciones.
 Sin embargo, el principio de dualidad
CA P ÍTU LO 1 - Á LG E B R A D E B O O LE - 75 -
2
CA P ÍT

simplifica
Sin embargo, el elprincipio
esfuerzo. Este2 simplifica
de dualidad principio
establece
el esfuerzo. Este queprincipio
cada establece
teoremaquetiene un dual
cada teorema Prop
tiene
que seun puede
dual queobtener: se puede obtener: o el
part
a ) IN T ER C A M B IA N D O LO S O P E R A D O R E S A N D Y O R D E LA S E X P R E SIO N E S . y OR
b ) IN T ER C A M B IA N D O LO S ELE M E N TO S 0 Y 1 D E LA S E X P R E SIO N E S .
c) LA FO R M A D E LA S VA RIA B LES [SI LA S H UB IER A ] N O C A M B IA .
a.

0 . 1 = 0 a . 1 = a
a .
˘ ˘ ˘ ˘ ˘ ˘ ˘ ˘
a .
1 + 0 = 1 a + 0 = a

En Enelel caso
caso de
dequequeexistan variables,
existan estas
variables,
permanecen sin cambios. Ley
estas permanecen sin cambios.
ADVERTENCIA.- Si es el dual de la función Ley
2.- Taylor L. Booth.- Digital esto no and
Network implica queSystems.-
Computer las dos Wiley
expresiones
Interna@onal
seanEdi@on.- 1978. La verdad de esta advertencia se
iguales.
verifica fácilmente examinando las funciones en los
 Proposiciones Elementales.- Las proposiciones básicas
Proposiciones
o elementales Elementales.-
C A P ÍTU LO 1 - Á LG E B R del
A D E B Oálgebra
O LE
Las proposiciones
de Boole se establecen
- 76 -
básicas
a o
elementales del álgebra de Boole se establecen a
partir de las tablas de verdad de los conectivos AND
partir de las
Proposiciones tablas Las
Elementales.- deproposiciones
verdad de los conectivos AND
básicas
y OR, como se indica en la siguiente
o elementales del álgebra de Boole se establecen a tabla.
y OR, como se indica en la siguiente tabla.
partir de las tablas de verdad de los conectivos AND
y OR, como se indica en la siguiente tabla.
a.a= a a + a = a ≤ Idempotencia [Tautología]
a.a= a a + a = a ≤ Complementos
≤ Idempotencia [Tautología]
≤ Complementos
a . 1 = a a + 0 = a ≤ Identidades
a . 1 = a a + 0 = a ≤ Identidades
a . a0. =0 =0 0 a a
+ 1+ = 11 = ≤1Elementos
≤ Elementos
nulos nulos
≤ Involución
≤ Involución

Leyes Fundamentales
Leyes Fundamentales
Ley CONMUTATIVA

Ley CONMUTATIVA
Ley ASOCIATIVA

Ley Ley
ASOCIATIVA
DISTRIBUTIVA
Teoremas Teorema de REDUNDANCIA Teorema de CO

Teorema de REDUNDANCIA
Teorema de ABSORCIÓN (COBERTURA)

Demostración Tabular
Demostración
Teorema Tabular
de REDUNDANCIA
Y X Teorema deX +CO
Y
Demostración Tabular O O 1 O O O

Y X X O+ Y 1 O O 1 1

1 O 1 1 1 1
O O 1 O O O
1 1 O O 1 1
O 1 O O 1 1 Teorema de De
Demostración Tabular
1 O 1 1 1 1
Y X X + Y La tabla anterior es una forma válida
1 1 O O 1 1
O O 1 O O
la
O
demostración de una igualdad [identid
O 1 O O 1
Recibe
1
el nombre de “demostración po
La tablaLa1anterior
tabla
O 1
anterior
1
es una
1
esforma
una forma
completa”,
1
válida
válida de de
porque realizar
realizar
se la todas
Teorema
analizan de Ex
demostración
1 1 deO una
la demostración O deigualdad
una
1 1 [identidad]
igualdad de booleana.
[identidad]
combinaciones booleana.
las variables de entr
RecibeRecibe
el nombre de “demostración
el nombre caso se por
de “demostración inducción
observaporqueinducción
las dos columnas d
completa”,
La tabla porque
anterior
completa”, es se forma
una
porque analizan sontodas
se válida
analizaniguales,
de las
realizar
todas posibles
lolas
que implica
posibles que los dos
lacombinaciones de igualdad
las variables identidad booleana En
debooleana.
entrada. son iguales.
demostración de una
combinaciones de las [identidad]
variables de entrada. Enesteeste
caso se
Recibe observa
el nombre de que
caso se observa
las dos columnas
“demostración
que las dos por inducciónde la derecha son
columnas de la derecha
iguales, porque
completa”, lo quese implica
analizan quetodaslos
lasdos lados de la Ejemplo.- Apl
posibles
son iguales, lo que implica que los dos lados de la
Shannon. Expa
combinaciones de las variables
identidad booleana de entrada. En este
son iguales.
CA P ÍTU LO 1 - Á LG E B R A D E B O O LE - 78 -

Teorema de CONSENSO

Teorema de COMBINACIÓN

Teorema de DeMORGAN

Teorema de Expansión de SHANNON

 =Ejemplo.- Aplicación
. En primera instancia
del teorema se expandirá
de expansión de la
Shannon. Expandir
variable la función
B que falta simplificada:
en el segundo F<A,B,C>
término y después
= . En primera instancia se expandirá la
se completará
variable B quelafalta
variable
en elC que faltatérmino
segundo en el primer
y
término.
después se completará la variable C que falta en el
primer término.

O 1 - Á LG E B R A D E B O O LE - 79 -

Carlos Novillo Montero Can

ficación de Funciones Booleanas Utilizando los

mas del Álgebra de Boole.- La ecuación booleana
función lógica se la puede obtener de su tabla
rdad; en general será posible simplificar esa
Simplificación de Funciones Booleanas U3lizando los Teoremas del
Álgebra de Boole.- La ecuación booleana
de una función lógica se la puede obtener de su tabla de
verdad; en general será posible simplificar esa ecuación
para obtener la función más simple posible, la función
booleana simplificada es la que se implementará con las
compuertas lógicas. La importancia de la simplificación
se debe a que al reducir el número de compuertas se
disminuye el número de conexiones, el tamaño físico del
circuito, la potencia disipada por el mismo, el costo
total e, inclusive, el número de errores que pueden
introducirse cuando se implementa el circuito. El
circuito que se implementará es el que tenga el menor
número de compuertas y el menor número de conexiones.
Una forma de simplificar una ecuación booleana es
mediante el uso de los postulados y teoremas del álgebra
de Boole que se acaba de estudiar. Esto se ilustra con
los siguientes ejemplos.
 Ejemplo 1.- Utilizando - 79 - CA P ÍTU LO 1 - Á LG E B R A D E B O O LE
compuertas A-O-N, implementar
la siguiente función booleana. Después simplificar
la función, implementarla con compuertas A-O-N.
Comparar los dos circuitos.
CA P ÍTU LO 1 - Á LG E B R A D E B O O LE - 80 -

es Booleanas Utilizando los FIG URA

C I R C U I
1

oole.- La ecuación booleana SIM P LIFICA D O

a puede obtener de su tabla

rá posible simplificar esa FIG URA 1.19
C I R C U I T O
unción más simple posible, FIG U R AP LIFICA
SIM 1 .1 D
8 O CIR CU ITO N O
SIM P LIFICA D O
mplificada es la que se
compuertas lógicas. La
ficación se FIG
debe
URA
a1 .1que
8
al
CIR CU ITO N O IDENTIDAD
ertas se disminuye el número
SIM P LIFICA D O

COMPLEMENTOS
o físico del circuito, la
mismo, el costo total e, IDENTIDAD DISTRIBUTIVA
de errores que pueden
COMPLEMENTOS IDEMPOTENCIA
mplementa el circuito. El
ará es el que tenga el menor DISTRIBUTIVA DISTRIBUTIVA
menor número de conexiones. IDEMPOTENCIA COMPLEMENTOS
una ecuación booleana es IDENTIDAD
DISTRIBUTIVA
postulados y teoremas del
COMPLEMENTOS
acaba de estudiar. Esto se
El circuito no simplificado, correspondie
SIMPLIFICACIÓN Y DISEÑO DE
CIRCUITOS LÓGICOS
Ejemplo 2.- Utilizando compuertas A-O-N, implementar
CA P ÍTU LO 1 - Á LG E B R A D E B O O LE - 81 - CA P ÍTU LO 1 - Á LG E B R A D E B O

la Ejemplo
siguiente función
2.- Utilizando booleana.
compuertas Después
A-O-N, implementar El circuito no si
simplificar la función
la siguiente función booleana. e implementarla
Después simplificar con la ecuación original
la función e implementarla con compuertas A-O-N. la función simplific
compuertas A-O-N. Comparar los dos circuitos.
Comparar los dos circuitos. Se observa que el s
sencillo que el cir
cumplen la misma fun
necesariamente debe
simplificado].

Problemas.- Simplifi
Universalidad de las Compuertas NAND y NOR .-booleanas.
De la misma
manera en que las compuertas A-O-N, cons- tituyen un
conjunto completo, la compuerta NAND, por si sola,
constituye un conjunto completo, es decir utilizando
exclusivamente compuertas NAND se puede implementar
cualquier red lógica, por compleja que sea. Lo mismo
podemos decir de la compuerta NOR.
FIG U RA 1.2 0 CIR CU ITO N O SIM P LIFICA D O

Ejemplo.- Utilizando solamente compuertas NAND,

implementar la compuerta
La función simplificada es XOR,
. cuya función
Demostrar queestá
definida como
1 - Á LG E B R A D E B O O LE - 83 - CA P ÍTU LO 1 - Á LG E B R A D E B O O LE - 84 -
ertas NAND, se ve que el número de conectivos
e ha requerido para implementar la compuerta
utilizando compuertas NAND, es el mismo que el
[Involución]
e usó con compuertas A-O-N.
circuito de la fig. 1.24, con solo 4-compuertas
FIG U R A 1 .2 2
de 2-entradas, también corresponde a una
[DeMorgan] CA P ÍTU LO 1 - Á LG E B R A D E B O O LE
FIG U R A 1 .2 3
erta XOR,dees
circuito la decir, . [com-
fig 1.22, el inversor
4] genera ; la compuerta AND [2], genera
ino Carlos Novillo Montero
; la compuerta XOR [3], el término La salida del circuito Canla
de fig. 1.23 es
finalmente, la compuerta OR [1], genera la [Involución]
. En la fig. 1.23, un circuito XOR con
: , que es la respuesta.
compuertas NAND, se ve que el número de conectivos
[DeMorgan]la compuerta
que se ha requerido para implementar
alidad deFIG
las Compuertas NAND y NOR .- De
U R A 1 .2 4 XOR, utilizando compuertas NAND, es el mismo que el
a manera en que las compuertas A-O-N, cons- que se usó con compuertas A-O-N.
un conjunto completo, la compuerta NAND, por En la fig. 1.25 se ve que el número de compue
,lo.-
constituye
Ejemplo.- Utilizando solamente compuertas NOR,
un conjunto
Utilizando completo,compuertas
solamente es decir
El circuito de la fig. 1.24, con solo 4-compuertas
NOR que
NOR,NAND se requieren
de 2-entradas, para corresponde
también implementara la unacompu
mentar la implementar la compuerta XOR, cuya función está
ndo exclusivamente compuertas NAND se puede
CA Pcompuerta XOR,
ÍTU LO 1 - Á LG E B R Acuya
DE BOfunción
O LE
XOR, es el
estácompuerta XOR,mismo que el que .se usó con compue
es decir, - 85 - CA P ÍTU
ntar cualquier red lógica, por compleja que
ida como definida como A-O-N o con compuertas NAND [fig. 1.23].
mismo podemos decir de la compuerta NOR. varia
.- Utilizando
Novillo Montero solamente compuertas NAND, Can los t
ntar la compuerta XOR, cuya función está
[Involución] B, el
a como FIG U R A 1 .2 4
térmi
[DeMorgan]
Ejemplo.- Utilizando solamente compuertas NOR,que q
[Involución]
5 y 6,
implementar la compuerta XOR, cuya función está
definida como
[DeMorgan]
En la fig. 1.25 se ve que el número de FIG U Rcompuertas
A 1 .2 5 es
llo Montero Can Carlos Novillo Montero Can simpl
NOR que se requieren para implementar la compuerta
ción de las variables booleanas.- Para representar
Representación
le booleana [en deellas variables booleanas.-
Laboratorio], por ejemplo Para representar una
variable booleana [en el Laboratorio], por ejemplo
le A, se puede utilizar un interruptor y Para pode
la variable A, se puede utilizar un interruptor y
tencia y un voltajey de
una resistencia un 5V DC.
voltaje de 5VDC. de salida,
- 89 - CA P ÍTU LO 1 - Á LG E B R A D E B O O LE utilizar
- 90 - el
ción con compuertas NOR
y un transi
Emisor-Comú

rcuito implementado con

uertas 6, 7 y 8 [NOT],
FIG U R A 1 .2 8
se con NOR.

1.28,Para
leanas.- muestra el circuito, de manera
representar FIG U R A 1 .2 9 que

interruptor esté abierto la variable A toma

aboratorio], por ejemplo
ilizar un interruptor y Para poder observar el valor que toma una variable
1 y Para
jeL de cuando estéobservar
5VDC. poder cerrado delasalida,
el variable
valorpor que A toma
tomalauna
ejemplo variable
variable de
Y, se puede
0L. salida, por ejemplo utilizar el circuito
la variable Y,dese la fig. 1.30,utilizar
puede que usa un LED
y un transistor NPN, que funciona como amplificador
se el
tiene circuito
un grupo de de
la variables
fig. , quebooleanas,
usa un LED y un
Emisor-Común que trabaja en corte y saturación.
usartransistor NPN,
el circuito queque funcionaencomo
se muestra amplificador
la fig.
Emisor-Común que trabaja en corte y saturación.
este caso se utiliza un DIP-Switch de 8
y un transistor NPN, que funciona como amplificador
Emisor-Común que trabaja en corte y saturación.

FIG U R A 1 .3 0

Cuando
Cuandola señal
la Yseñal
[salida de
Y una compuerta de
[salida AND, una
compuerta AND,
por ejemplo] toma el valor 0L el transistor está en
por ejemplo] toma el valor 0L el transistor está
Carlosen
Novillocorte
Montero y el LED no se enciende,
Can cuando la
señal Y = 1L, el transistor se satura
aproximadamente a 10mA [VCC = 5V] y el LED se
enciende.
Formas Estándar de las Funciones Booleanas.- Se ha visto que
es posible describir una función booleana mediante
una tabla de verdad que muestra los valores de la
función para todas las posibles combinaciones de
0s y 1s de sus argumentos o variables de entrada.
De la misma manera, se ha visto que otra forma de
presentar el comportamiento de una función es
mediante una ecuación booleana. En esta sección se
estudiará cómo obtener una ecuación booleana que
está descrita por una tabla de verdad.
Representación de una Función Booleana U7lizando los 1s de la Tabla de
Verdad [Minterms].- Para esto se utilizará el
siguiente ejemplo: Diseñar un circuito lógico que
tiene de 3-variables de entrada [C, B y A] y una
variable de salida [Y], de tal manera que cuando
en las entradas haya un número impar de 1s, la
salida [Y] tome el valor 1L, en cualquier otro
caso la salida debe ser 0L. Este circuito recibe
el nombre de detector/generador de paridad.
FUNCIONES DE SALIDA, MAXTÉRMINOS Y
MINTÉRMINOS
plo.- Diseñar un circuito digital que dispone Esta ecuación
Ejemplo.- Diseñar un circuito digital
-entradas [C, B y A] y una salida [Y]. La salida que dispone de
3-entradas [C, B y A] y una salida [Y]. La salida estándar o forma
ser debe
1 cuando
seren 1
lascuando
entradasenhaya
lasun entradas
número impar
haya un número
s [detector/chequeador de paridad].
impar de 1s [detector/chequeador de paridad]. FORM A CAN
PRO DUCTO

C B A Y M axterm s A los términos generadosPRODUCTO

por cada uno de los 0s DESCO M PO S
0 0 0 0
de la tabla de verdad,
se los denomina término
0 0 1 1
En general, una
máximo (maxterm). Puede
0 1 0 1
observarse que en puede
cadatener hast
0 1 1 0 uno de los términosvariables de entr
generados, están
1
ULO 1 - ÁLGEBRA 0 BO
DE 0 O LE1 - 96 -
presentes las 3-
serían: M0, M1, M
variables de entrada, en
Novillo Montero
1 0 1 0 Can Carlos Novillo Montero
su forma normal [cuando
1 1 0 0 la variable
correspondiente vale 0L]
1 1 1 1 o en su forma
complementada [cuando la
variable correspondiente
los términos generados por cada uno devale
los 10sL].
 Esta ecuación booleana, también es una forma
Esta estándar
ecuación booleana, también es una forma
o forma canónica. En este caso
Esta ecuación
estándar booleana,En también
o forma canónica. este caso es una forma
estándar o forma
FO RM A CAcanónica. En este caso
N Ó N ICA CO N JUN TIVA
P R O D U C TO D E TÉ R M IN O S M Á X IM O S [M A X T ER M S ]
P RO D U CTO EX P A N D ID O D E SU M A S
D ESCO M P O SICIÓ N EN M A X TER M S
FO RM A CA N Ó N ICA CO N JUN TIVA
En general,PRODU una
C TO función
D E TÉ R M INdeO S N-variables de M
M Á X IM O S [M A X T entrada puede
En general, una función de N-variables deER S]
entrada
tener hastaP RO D U 2CTO
N maxterms. Para
EX P A N D ID O D E SUel
M Acaso
S de 3- variables de
puede tener hasta 2N maxterms. Para el caso de 3-
entrada,D ESCOlos M correspondientes
P O SICIÓ N EN M A X TERmaxterms
MS serían: M0, M1,
variables de entrada, los correspondientes maxterms
M2, M3, M4, M5, M6 Y M7. Cada maxterm se genera de la
serían: M0, M1, M2, M3, M4, M5, M6 Y M7. Cada maxterm
siguiente manera: si la variable de entrada tiene el
En general,
valorCarlos
0L, Novillo una función
la Montero
variable aparece de N-variables
en su forma normal de entrada
Can [sin
puede tener hasta
complemento]; si la2Nvariable
maxterms. Para el
de entrada caso
tiene el de 3-
valor
1L la variable aparece complementada. A los maxterms,
variables de entrada, los correspondientes maxterms
se los representa con una M [mayúscula] y un subíndice
serían: M0, M1, Mal
que corresponde 2, equivalente
M3, M4, M5, decimal M6 Y M7.del Cada maxterm
número
binario del que proviene. También puede expresarse de
Carlos
lasNovillo Montero maneras.
siguientes Can
 Y<C,B,A> = MO.M3.M5.M6 que puede

Ejemplo.- Diseñar un circuito lógico que convierta

un número expresado en código binario natural de 3-
bits [B2B1B0] en el código de Gray correspondiente
[G2G1G0]. Obtener las ecuaciones de las variables de o también
salida en las formas canónicas conjuntiva y
disyuntiva.

BIN GRAY

B2 B1 B0 G2 G1 G0

0 0 0 0 0 0

0 0 1 0 0 1
cualquiera
0 1 0 0 1 1

0 1 1 0 1 0
canónica d
1 0 0 1 1 0
La form
1 0 1 1 1 1 de las var
1 1 0 1 0 1

1 1 1 1 0 0

Carlos Novillo Montero Can Carlos Novillo M