Unidad 3 - Algebra de Boole

Algebra de Boole
Debo agradecer los textos e imágenes que

fueron tomadas del libro Técnicas Digitales
del Ing. Jorge Sinderman
Ing. Daniel Acerbi – Febrero 2018©
Algebra de Boole
Indice
Introducción
Circuito con llaves
Funciones
Tabla de Verdad
Operaciones
Postulados del Algebra de Boole
* Dualidad
Teoremas del Algerbra de Boole
Funciones del Algebra de Boole ( ver índice )
Ing. Daniel Acerbi © - 2018 2
1
Introducción
En las primeras décadas del siglo XX los primeros circuitos
digitales o circuitos lógicos tuvieron aplicación en centrales
telefónicas, estos circuitos se fabricaban con llaves y relevadores
(relés). Por utilizar los componentes mencionados se los
denominaban Circuitos de Conmutación .
Ejemplo de un circuito simple de conmutación .

Funcionamiento :
A Si la llave esta abierta (A=0) la

E lámpara permanecerá apagada
L (Z=0) .
Si la llave se cierra (A=1), la
lámpara se enciende (Z=1 ) .
E = Fuente de energía
Descripción de los Interruptores :

Interruptor normalmente abierto (NA) :
=> Si : A = 0 Interruptor abierto

Acciono interruptor
A A = 1 Interruptor cerrado
Interruptor normalmente cerrado (NC) :
=> Si : A = 0 Interruptor cerrado

Acciono interruptor
_
A = 1 Interruptor abierto
A
La variable A, que identifica al interruptor, es una variable

discreta, solo puede tener 2 valores 0 y 1 .
2
Circuitos con Interruptores
Básicamente existen 2 tipos de conexiones básicas en
los circuitos con interruptores. Ellas son :
Conexión Serie
Conexión Paralelo
Conexión Serie
En esta conexión la corriente eléctrica debe atravesar
2 o mas interruptores, los mismos se encuentran uno
a continuación del otro .
Ejemplo :
Z = C.B.A Obsérvese que :
Solo Z = 1 (lámpara
encendida ) si los 3
interruptores se
encuentran cerrados
A B C Z (A y B y C =1 )
L
3
Conexión Paralelo
En esta conexión la corriente eléctrica se bifurca por 2
o mas interruptores, los mismos se encuentran uno
en paralelo del otro .
Ejemplo :
Z = C+B+A Obsérvese que :
Z = 1 (lámpara encendida)
A si alguno de los 3
interruptores se encuentran
cerrados (A o B o C = 1 )
B
L
C Z
Algebra de Boole
El Algebra de Boole data de 1854, y es la herramienta
matemática mas apropiada para trabajar con
variables discretas.
Las variables discretas son aquellas que pueden
tener solo dos valores 0; 1 .
Claude Shannon en 1938 adaptó, el Algebra de Boole,
para que se pudiese aplicar a los sistemas digitales .
George Boole Claude Shannon

4
Funciones en el Algebra de Boole
Función : Una función lógica de variables binarias

relaciona una variable denominada dependiente (X, Y, Z)
con otras llamadas independientes ( A, B, C, D, … ).
Z = f ( D, C, B, A )
Variables Dependiente : Z
Variables Independientes : D, C, B, A
Constantes : 0; 1
Tabla de Verdad
La herramienta ideal para trabajar, ordenadamente, con
funciones en el Algebra de Boole es la Tabla de Verdad.
En ella podemos representar todos los posibles valores de las
variables independientes y obtenemos, para cada uno de ellos,
el correspondiente valor de la variable dependiente.
Supongamos Z = f ( B, A ) .
La cantidad de
renglones es igual a : El numero de
2n B A Z columnas depende
Donde n es el numero de la cantidad de
0 0 0 variables
de variables
independientes que
independientes 0 1 1
posea la función
Dos funciones en el 1 0 0
Algebra de Boole son 1 1 1
iguales si tienen
idénticas de verdad
5
Operaciones Básicas
del Algebra de Boole
Producto Lógico
Suma Lógica
Negación
Operación Producto Lógico

El Producto Lógico también se lo suele denominar operación AND u
operación Y .
Definición de la operación :
0.0 = 0
A B
0.1 = 0
1.0 = 0
1.1 = 1
Función y Tabla de verdad :
Z = B.A
B A Z
La Compuerta
0 0 0 Z Básica AND se
utiliza para
0 1 0 representar el
1 0 0 Producto Lógico
1 1 1
6
Operación Suma Lógica
La Suma Lógica también se la suele denominar operación OR u
operación O .
Definición de la operación :
0+0 = 0
0+1 = 1 A B
1+0 = 1
1+1 = 1
Función
y Tabla de verdad :
Z = B+A
B A Z La Compuerta
0 0 0 Básica OR se
utiliza para
0 1 1
representar la
1 0 1 Suma Lógico
1 1 1
Operación Negación
•La Operación Lógica Negación también se la suele denominar
operación NOT o NO .
•Función y Tabla de verdad :
Z=A
A Z A
A
0 1
1 0
El Inversor se utiliza
para representar la
operación inversión
7
Postulados
Variables Bivaluadas
1a) Si A ≠ 0 entonces A=1 1b) Si A ≠ 1 entonces A=0
Propiedad Conmutativa
2a) A.B = B.A 2b) A+B = B+A
Propiedad de Idempotencia
3a) A.A = A 3b) A+A = A
Elemento Neutro
4a) A.1 = A 4b) A+0 = A
Operación Negación
_ _
5a) 0 = 1 5b) 1 = 0
Principio de Dualidad ( 1 )
Dualidad : Dos expresiones o funciones son duales entre si, cuando
podemos pasar de una a otra intercambiando las operaciones de
sumas lógicas por productos lógicos y viceversa; y todos los ceros
por unos y viceversa.
Principio de Dualidad : Si dos funciones son iguales entre sí, sus
duales también lo serán .
Ejemplos :
A+1=1 A.B=B.A
A. 0=0 A+B=B+A
Dual de Dual de
8
Principio de Dualidad ( 2 )
Dual de una Tabla de Verdad : El Dual de una función representada
en una TV se obtiene cambiando todos los 0 por 1 y viceversa en la
tabla de verdad .
B A Q0 Q1 Q2 Q3 B A Q0 Q1 Q2 Q3
0 0 1 0 0 0 1 1 0 1 1 1
0 1 0 1 0 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1 1 1 0 1
1 1 0 0 0 1 0 0 1 1 1 0
Dual de una TV
B A Q0 Q1 Q2 Q3
Reordeno la TV
0 0 1 1 1 0 para poder
analizarla mejor
0 1 1 1 0 1
1 0 1 0 1 1
1 1 0 1 1 1
Teoremas
T1) Operaciones con el “0” y el “1”
T2) Operaciones con el Inverso
T3) Propiedad de Involución
T4) Propiedad Asociativa
T5) Propiedades Distributivas
T6) Propiedad de Absorción
T7) Propiedad de Simplificación
T8) Leyes de De Morgan
9
Operaciones con el 0 y 1
T1a) A.0 = 0 =>
Ξ
A 0 0
El “0” representa un circuito abierto. Nunca

habrá circulación de corriente
T1b) A+1 = 1 =>
1
A
Ξ
1 El “1” representa un cortocircuito. Y anula

la acción del interruptor
Operaciones con el Inverso

_
T2a) A.A = 0 => Si A = 0; A = 1 => 0.1 = 0
_ Ξ
0
A A
_
T2b) A+A = 1 => Es válida por el principio de dualidad
10
Propiedad de la Involución :
= _ _
T3) A = A => Si A = 0; 0 = 1; 1 = 0
Equivale a negar 2 veces la variable A.

Por lo tanto permanece en el valor
que tenía antes de negar .
Propiedad Asociativa
T4a) (A.B).C = A.(B.C) = A.B.C => Todos tienen la
misma función transferencia
= =
A B C A B C A B C
T4b) (A+B)+C = A+(B+C) = A+B+C => Se

demuestra de forma similar que el anterior ( pero con
un circuito paralelo ). También se puede demostrar por
el principio de dualidad .
11
Propiedad Distributiva
T5a) A. (B+C) = A.B + A.C => Se demuestra mediante Tabla de
Verdad, recordando que 2 funciones son iguales si tienen
idénticas tabla de verdad .
T5b) A+B.C = (A+B ).(A+C) { Se demuestra abajo }
Z = A + B.C
C B A B.C Z A+B A+C Z Z = (A+B) . (A+C )

0 0 0 0 0 0 0 0
0 0 1 0 1 1 1 1
0 1 0 0 0 1 0 0
Ambas funciones
0 1 1 0 1 1 1 1 tienen la misma TV,
1 0 0 0 0 0 1 0 por lo tanto son
1 0 1 0 1 1 1 1 iguales
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1Ing. Daniel
1 Acerbi © - 2018 23
Propiedad de Absorción
T6a) A . (B+A) = A Demuestro por métodos algebraicos

A . (B+A) = A.B + A.A =
A
A.B + A = A.( B+1 ) = A.1 = A
T6b) A + B.A = A
Demuestro por métodos algebraicos
A + B.A = A ( 1 + B ) = A.1 = A
12
Propiedadde Simplificación
_
T7a) A.(B+A) = A.B Demuestro por métodos algebraicos
_
A.(B+A) => Aplico Prop. Distributiva
_
( A.B ) + A.A = A.B + 0 = A.B
_
T7b) A+ B.A = A + B
Demuestro por métodos algebraicos
_ _
A + B.A = ( A + B ) . ( A + A ) =
(A+B).1=A+B
Leyes de De Morgan
___ _ _
T8a) A.B = A + B
Se puede demostrar, la igualdad, por TV
___ _ _ _ _
B A A.B A.B A B A+B
____ _ _ 0 0 0 1 1 1 1
T8b) A + B = A . B
0 1 0 1 0 1 1
Se puede demostrar
de forma similar . 1 0 0 1 1 0 1
1 1 1 0 0 0 0
Son Iguales las funciones

13
Funciones del Algebra de Boole
Indice
Reglas para el Mapeo de una Función
Expresiones Canónicas
* Minitérminos
* Maxitérminos
Mapas de Karnaught
Representación de Funciones mediante Mapas de
Karnaught
Simplificación de Funciones
– Suma de Productos
– Productos de Sumas
– Funciones no definidas completamente
14
Reglas para el Mapeo de una Función
1) Si la función no es del tipo Suma de Productos,

llevarla a esa forma aplicando las reglas del Algebra de
Conmutación .
2) Tabular, separadamente, cada uno de los términos
de dicha función, en la Tabla de Verdad .
3) Obtener a partir de la Tabla de Verdad los valores de
la variable dependiente Z .
Para ejemplificar las reglas anteriores utilizaremos un

ejemplo .
Dada la siguiente función :
_ _ _ _
Z = ( B+A ) . ( C + A ) . ( C + B + A )
Eliminamos la barra de negación aplicando el Teorema de De

Morgan .
_ _ _ _
Z = ( B+A ) + ( C + A ) + ( C + B + A )
Eliminamos las barras de negación aplicadas a los paréntesis,
aplicando el Teorema de De Morgan, .
_ _ _
Z = ( B.A ) + ( C . A ) + ( C . B . A )
Esta función de 3 variables, la representamos en una Tabla

de Verdad.
15
Represento cada uno de los productos en la TV :
_ _ _
Z = ( B.A ) + ( C . A ) + ( C . B . A )
_ _ _
C B A B.A C.A C.B.A Z
0 0 0 0 0 0 0.0.1=0
0 0 1 1 1 0
0 1 0 0 0 0 1.1=1
0 1 1 0 1 0
1 0 0 0 0 0
1.1=1
1 0 1 1 0 0
1 1 0 0 0 1
1 1 1 0 0 0
_ _ _
Z = ( B.A ) + ( C . A ) + ( C . B . A )
+ + =
_ _ _
C B A B.A C.A C.B.A Z
0 0 0 0 0 0 0
0 0 1 1 1 0 1 1+1+0=1
0 1 0 0 0 0 0
0 1 1 0 1 0 1
1 0 0 0 0 0 0 0+0+0=0
1 0 1 1 0 0 1
1 1 0 0 0 1 1
1 1 1 0 0 0 0
16
Expresiones Canónicas
Toda función lógica puede expresarse de varias maneras
distintas. Una de esas maneras son las llamadas
Expresiones Canónicas o estandarizadas .
Las Expresiones Canónicas están formadas por términos
canónicos .
Un término canónico es aquel en el que intervienen todas
las variables de la función, ya sea en su forma normal o
complementada .
Por cada tabla de verdad voy a poder obtener 2
expresiones canónicas; una a partir de los “1” y otra a
partir de los “0” de la tabla de verdad. Esto va a dar a
futuro la posibilidad de construir 2 circuitos lógicos por
cada función de la que partimos .
Productos Canónicos o minitérminos

Definición :
Dado un cierto numero de variables independientes, a todo
producto en el que figuren todas ellas, ya sea en su forma
normal o complementada se los denomina Producto Canónico
o minitérmino o mintérmino .
La cantidad de minitérminos que se pueden formar con n
variables lógicas es 2n .
Ejemplos de minitérminos :
Sea una función de cuatro variables Z = f ( D, C, B, A ) .
Estos términos son canónicos (intervienen las 4 variables):
_ _ _
DCBA DCBA
Estos términos no son canónicos :

_
DBA DBA
17
Obtención de la 1ra. de las Expresión Canónica :
Sea la TV que se encuentra mas abajo :
1) La primera función canónica que obtendremos es la Suma de
Productos Canónicos, parto, para ello de los términos que hacen “1”
la función en la Tabla de Verdad .
•Tomo los minitérminos que hacen que Z sea
igual a “1” .
C B A Z
0 0 0 0 __ _ _ _
Z = C.B.A + C.B.A + C.B.A + C.B.A
0 0 1 1
0 1 0 0
0 1 1 1 minitérminos
1 0 0 0 A esta expresión la denominamos Suma de
1 0 1 1 Productos Canónicos ( SdPC ). Obsérvese
que la misma es una suma de productos
1 1 0 1 donde en c/u de ellos intervienen todas las
variables independientes .
1 1 1 0
• Representación de los distintos minitérminos, expresados literalmente

y de manera abreviada en la TV .
C B A Z Minitérmino Forma Numeración de un minitérmino :
abrevi.
Sea el minitérmino siguiente :
___
0 0 0 0 C.B.A m0 _ _
__
0 0 1 1 C.B.A m1 C.B.A = m2
_ _
0 1 0 0 C.B.A m2
0 1 0 2
_
0 1 1 1 C.B.A m3 Para numerar los minitérminos tomo
__ las variables negadas como 0 y las sin
1 0 0 0 C.B.A m4 negar como 1, en este caso representa
al numero 2 en binario .
_
1 0 1 1 C.B.A m5 Otro ejemplo :
_ _
1 1 0 1 C.B.A m6 C.B.A = m6
1 1 1 0 C.B.A m7
18
• Representación de una Suma de Productos de manera literal y
numérica .
C B A Z Minitérmino Forma Recordando la anterior ecuación de
abrevi. SdePC :
___ __ _ _ _
0 0 0 0 C.B.A m0 Z = C.B.A + C.B.A + C.B.A + C.B.A
__ Esta manera de escribir la función se la
0 0 1 1 C.B.A m1 denomina literal .
_ _
También puedo escribirla como suma
0 1 0 0 C.B.A m2 de minitérminos ( forma abreviada ) :
_
Z = m1 + m3 + m5 + m6
0 1 1 1 C.B.A m3
__
1 0 0 0 C.B.A m4 Forma numérica :
_ Indica cantidad
Z = ∑ ( 1, 3, 5, 6 ) de variables
1 0 1 1 C.B.A m5
_ 3
1 1 0 1 C.B.A m6
Indica sumatoria
1 1 1 0 C.B.A m7
Teorema fundamental de los minitérminos

Toda función lógica se puede expresar como suma de
minitérminos. Esta función es única y se la denomina Suma de
Productos Canónicos .
Corolario 1 :
La sumatoria de todos los minitérminos que se pueden formar
con n variables lógicas es igual a 1. En nuestra expresión
ejemplo queda que :
m0 + m1 + m2 + m3 + m4 + m5 + m6 + m7 = 1
Corolario 2 :
La sumatoria de ciertos minitérminos de n variables lógicas es
igual al complemento de la sumatoria de los restantes .
m1 + m3 + m5 + m6 = m0 + m2 + m4 + m7
19
Sumas Canónicas o Maxitérminos
Definición :
Dado un cierto numero de variables independientes, a toda
suma en la que figuren todas ellas, ya sea en su forma
normal o complementada se las denomina Suma Canónica o
Maxitérmino o Maxtérmino .
La cantidad de Maxitérminos que se pueden formar con n
variables lógicas es 2n .
Ejemplos de Maxitérminos :
Sea una función de cuatro variables Z = f ( D, C, B, A ) .
Estos términos son canónicos (intervienen las 4 variables):
_ _ _
D+C+B+A D+C+B+A
Estos términos no son canónicos :

_
D+B+A D+B+A
Obtención de 2da. de las Expresión Canónica :

Sea la TV que se encuentra mas abajo :
1) La segunda función canónica que obtendremos es el Producto de
Sumas Canónicos, parto, para ello de los términos que hacen “0” la
función en la Tabla de Verdad .
•Tomo los minitérminos que hacen que Z
C B A Z
sea igual a “0”. Pero ahora igualo a Z
0 0 0 0
_ ___ _ _ __
0 0 1 1
Z = C.B.A + C.B.A + C.B.A + C.B.A
0 1 0 0
0 1 1 1 Ahora obtengo Z negando en ambos miembros de
la igualdad .
1 0 0 0
_ ___ _ _ __
1 0 1 1
Z = C.B.A + C.B.A + C.B.A + C.B.A
1 1 0 1
Resolviendo por Algebra de Boole, obtengo Z
1 1 1 0 _ _ _ _ _
Z = (C+B+A) . (C+B+A) . (C+B+A) . (C+B+A)
20
Retomando la ecuación :
_ _ _ _ _
Z = (C+B+A) . (C+B+A) . (C+B+A) . (C+B+A)
Maxitérminos
A esta expresión la denominamos Producto de

Sumas Canónicas ( PdSC ). Obsérvese que la misma
es un producto de sumas donde en c/u de ellas
intervienen todas las variables independientes .
• Representación de los distintos Maxitérminos, expresados literalmente

y de manera abreviada en la TV .
C B A Z Maxitérmino Forma Numeración de un Maxitérmino :
abrevi.
Sea el minitérmino (m2) siguiente :
0 0 0 0 C+B+A M0 _ _ _
_
0 0 1 1 C+B+A M1 C.B.A => C+B+A
_
0 1 0 0 C+B+A M2
El complemento de = Maxtérmino
_ _ m2 ( 010 ) M2
0 1 1 1 C+B+A M3
_ Para numerar los Maxitérminos tomo el
1 0 0 0 C+B+A M4 numero en decimal correspondiente al
_ _ minitérmino asociado al renglón. Otra
1 0 1 1 C+B+A M5 forma es decir que las variables
_ _
negadas
1 1 0 1 C+B+A M6 equivalen a 1 (B) y las sin negar 0 (C y
_ _ _ A) en la expresión del Maxtérmino .
1 1 1 0 C+B+A M7
21
• Representación de un Producto de Sumas de manera literal y
numérica .
C B A Z Maxitérmino Forma Recordando la anterior ecuación de PdeSC:
abrevi. _ _ _ _ _
Z = (C+B+A).(C+B+A).(C+B+A).(C+B+A)
0 0 0 0 C+B+A M0
_ Esta manera de escribir la función se la
0 0 1 1 C+B+A M1 denomina literal .
_ También puedo escribirla de esta manera :
0 1 0 0 C+B+A M2 Z = M0 . M2 . M4 . M7
_ _
0 1 1 1 C+B+A M3 Forma numérica :
_ Z = Π ( 0, 2, 4, 7 )
1 0 0 0 C+B+A M4 Indica Cantidad de
3
_ _ variables
1 0 1 1 C+B+A M5
_ _ Indica Productoria
1 1 0 1 C+B+A M6
_ _ _
1 1 1 0 C+B+A M7
Teorema fundamental de los Maxitérminos

Toda función lógica se puede expresar como Producto de
Maxitérminos. Esta función es única y se la denomina Producto
de Sumas Canónicas .
Corolario 1 :
La productoria de todos los Maxitérminos que se pueden formar
con n variables lógicas es igual a 0. En nuestra expresión
ejemplo queda que :
M0 . M1 . M2 . M3 . M4 . M5 . M6 . M7 = 0
Corolario 2 :
La productoria de ciertos Maxitérminos de n variables lógicas es
igual al complemento de la productoria de los restantes .
M0 . M2 . M4 . M7 = M1 . M3 . M5 . M6
22
Resumen
Partimos de la siguiente expresión, y obtuvimos la tabla de
verdad:
_ _ _
Z = ( B.A ) + ( C . A ) + ( C . B . A )
A partir de dicha TV obtuvimos 2 ecuaciones canónicas :

a) Suma de Productos Canónicos
__ _ _ _ minitérminos
Z = C.B.A + C.B.A + C.B.A + C.B.A C B A Z

0 0 0 0
b) Producto de Sumas Canónicas
0 0 1 1
_ _ _ _ _
0 1 0 0
Z = (C+B+A).(C+B+A).(C+B+A).(C+B+A)
Maxitérminos
0 1 1 1
1 0 0 0
Las 3 ecuaciones tienen en común la misma tabla
de verdad, por lo tanto afirmamos que todas ellas 1 0 1 1
son iguales, ya que tienen idénticas tablas de 1 1 0 1
verdad . 1 1 1 0
Representación de Funciones Lógicas

Los Mapas de Karnaught, pueden ser visualizados
como una forma estilizada de los diagramas de
Venn, donde los campos de las diferentes
variables no son círculos sino cuadrados o
rectángulos .
A continuación mostraremos la forma de ambos
diagramas .
Ing. Daniel Acerbi © - 2018 Maurice Karnaught 46
23
Diagramas de Karnaught y Venn para 1
variables
Mapa de Venn de 1 variable Mapa de Karnaught de 1
variable
0 1
_
A
A A

variables
Mapa de Venn de 2 variables Mapa de Karnaught de 2
variables
_
A A A
_ 0 1
B
_ _ _
B 0
B.A B.A
_
B B.A B.A 1
24
variables
Mapa de Venn de 3 variables Mapa de Karnaught de 3
variables
_ _
A A A
BA
_ C 00 01 11 10
___ __ _ _ _
C C.B.A C.B.A
0
C.B.A C.B.A
__ _ _
C C.B.A C.B.A C.B.A 1
C.B.A
_
B B

variables
Mapa de Venn de 4 variables Mapa de Karnaught de 4 variables
BA
00 01 11 10
DC
____ ___ __ __ _
D.C.B.A D.C.B.A D.C.B.A D.C.B.A 00
_ __ _ _ _ _ _

__ _ _
___ __ _ _ _
D.C.B.A D.C.B.A D.C.B.A D.C.B.A

10
25
variables
Mapa de Venn de 5 variables Mapa de Karnaught de 5 variables
CBA
000 001 011 010 110 111 101 100
ED
00
01
11
10
Adyacencia en los Mapas de Karnaught

Son minitérminos adyacentes:
• Dos casilleros contiguos
• Dos casilleros ubicados en los extremos de una hilera (fila o
columna) de 4 casilleros (“los extremos se tocan”).
Casilleros No Adyacentes
BA
C 00 01 11 10
0 * + +
__
1
C.B.A * *
Casilleros Adyacentes
26
El Mapa de Karnaught como Tabla de Verdad
Podemos decir que un mapa de Karnaught es una tabla de verdad de doble entrada.
Ejemplo :
Dada una TV de 2 variables, completaremos su correspondiente mapa de Karnaught.
La figura muestra como pasar de un renglón a un casillero del mapa .
B A Z B 0 1
0 0 0 0 0 1
0 1 1
1
0 1
1 0 0
1 1 1 Ing. Daniel Acerbi © - 2018 53
Mapeo de una función

Dada la TV del ejercicio que estábamos analizando, completaremos su
correspondiente Mapa de Karnaught .
C B A Z BA
0 0 0 0 00 01 11 10
C
0 0 1 1 0 0 1 1 0
0 1 0 0
1 0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
27
Simplificación de Funciones
Lógicas
Los mapas de Karnaught son la herramienta mas
difundida para representar y simplificar funciones
lógicas.
Su forma va a depender del numero de variables
independientes que los conformen .
Otro método de minimización de funciones es el de
Quine - Mc Cluskey y se aplica en reducciones con
computadoras . El mismo ya no se utiliza mas .
Nosotros utilizaremos el soft libre WinLogicLab 8.0
que nos permitirá manejar tablas de verdad de 12
variables independientes y hasta 8 variables
dependientes .
Minitérminos Adyacentes
• Minitérminos adyacentes son aquellos que solo difieren en
una única variable, que uno de ellos la tiene como factor
en forma normal, y el otro invertida
_ _
Z = C.B.A + C.B.A = C.A ( B + B ) = C.A.1 = C.A
• La suma de dos minitérminos adyacentes es un único

producto en el que sólo figuran las variables comunes a
ambos minitérminos
• La simplificación de una función es deseable cuando se
necesita implementarla físicamente con compuertas, pues
cada literal que se ahorra en la expresión significa una
compuerta menos en el circuito lógico .
28
Simplificación de una función lógica
Sea la función anteriormente analizada :
_ _
Z = C.B.A + C.B.A = C.A ( B + B ) = C.A
Represento la función Z en el mapa Los minitérminos

de Karnaught ocupan 1 casillero
BA Producto de Orden 1,
C 00 01 11 10 surgen de agrupar 2
unos .
0 0 0 0 0
0 1 1 0 Z = C.A
1 _
C.B.A Agrupo los 2 unos, ya que se encuentran en casilleros
CBA adyacentes. El nuevo producto lo formo con aquellas
variables comunes a ambos minitérminos. Elimino la
variable BIng.
de Daniel
ambos términos
Acerbi © - 2018 porque varía . 57
Grupos simplificables
Los grupos simplificables son siempre potencia de 2n .
Puedo formar grupos simplificables tanto con los “1” como con
los “0”. Las características de los grupos son similares .
Grupos simplificables y ordenes de productos que generan :
–Grupo de un “1” - Minitérminos, no eliminan variables
–Grupo de 2 “1” - Producto de Orden 1, elimina 1 variable
–Grupo de 4 “1” - Producto de Orden 2, elimina 2 variables
29
Implicantes
Son todos los grupos simplificables que puedo formar en
un Mapa de Karnaught .
Ejemplo, para ello tomamos el Mapa de Karnaught que
veníamos desarrollando :
BA Implicantes
00 01 11 10
C
0 0 1 1 0
1 0 1 0 1
Implicantes Primos
Son aquellos grupos simplificables que no están englobados
en otros de mayor tamaño .
La expresión sólo debe contener implicantes primos .
BA Implicantes Primos
C 00 01 11 10
0 1 1 1 1
1 1 1 C +B
Mal simplificados. La BA
BA
C 00 01 11 10 función resultante no C 00 01 11 10
1 1
va a ser mínima . 0 1 1 1 1
0 1 1
1 1 1
1 1 1 Se deben agrupar en
grupos mas grandes
30
Implicantes Primos Esenciales
Son todos aquellos implicantes primos que forzosamente deben
figurar en la expresión final, pues son los únicos que aportan
determinados “1”.
Es recomendable comenzar a simplificar por estos implicantes, si
los hubiera, para minimizar la posibilidad de error .
BA Implicantes Primos Esenciales

DC 00 01 11 10
00 1
01 1 1 1
11 1 1 1
10 1
Simplificación de Funciones - Reglas

La expresión mínima, partiendo de los “1”, de la función es
aquella Suma de Productos que satisface los siguientes
criterios:
• Cobertura: Todos los 1 de la función deben pertenecen, al
menos, a un producto.
• Uso de implicantes primos: Ningún producto puede ser
reemplazado por otro de mayor orden que lo engloba. Porque
si eso fuera posible, se debe usar el producto de mayor orden.
• Irreductibilidad: Ningún producto puede ser suprimido sin que
cese la cobertura de todos los 1. Es decir que ningún producto
sólo puede abarcar a unos cubiertos por otros productos,
porque en ese caso podría ser suprimido.
También podemos obtener otra expresión mínima,
partiendo de los “0”, en este caso debemos
igualarla a Z, para comenzar a trabajar. Las reglas son
similares a la de los “1” .
31
Ejemplos de simplificación
BA BA BA
C 00 01 11 10 C 00 01 11 10 C 00 01 11 10
1 1 0 1 1 0 1 1 1
0
1 1 1 1 1 1 1
B . A + BA C . B + CB A C A + C B + BA
Recordar : Que no se pueden

formar grupos simplificables
de 3 unos.
Esta es la manera correcta de
hacerlo .
Evitar grupos innecesarios

No colocar grupos cuya supresión no afecta a la
cobertura de la función
BA BA
C 00 01 11 10 C 00 01 11 10
1 1 1 0 1 1 1
0
1 1 1 1
_ __ NO
Z = B.A + C.A _ __ __
Z = B.A + C.A + C.B
•Suma de Productos
•Suma de Productos
•Función mínima
•No es Función mínima
32
Ejemplos de Simplificación
Los 4 grupos son Implicantes Al agregar el grupo de 4 “1”en
verde, la función deja de ser
Primos esenciales
mínima
BA BA
DC 00 01 11 10 DC 00 01 11 10
00 1 00 1
01 1 1 1 01 1 1 1
1 1 1 11 1 1 1
11
1 10 1
10
• Suma de Productos •Suma de Productos

• Función mínima •No es Función mínima
Simplificación agrupando “1”

Retomando el ejemplo, simplificaremos nuestro Mapa de
Karnaught :
Comenzaremos agrupando los “1”
BA
C 00 01 11 10
0 0 1 1 0 _ _ _
Z = B.A + C.A + C.B.A
1 0 1 0 1
Z es una Suma de Productos (SdP)

Z es una función mínima
33
Simplificación agrupando “0”
Ahora agrupamos los “0”, pero partimos de Z
BA
_ _ _ _ _
C 00 01 11 10
Z = B.A + C.A + C.B.A
0 0 1 1 0
Niego en ambos miembros, para
obtener Z
1 0 1 0 1
_ _ _ _ _
Z = B.A + C.A + C.B.A
Opero convenientemente
Z es un Producto de Sumas (PdS) _ _ _

Z es una función mínima Z = (B+A) . (C+A) . (C+B+A)
Mapa K de 5 variables
• El mapa de 5 variables puede ser considerado como formado
por 2 submapas de 4 variables
• Son adyacentes los minitérminos de diferentes submapas que
están ubicados simétricamente respecto del eje de simetría.
CBA
ED 000 001 011 010 110 111 101 100
Casilleros Adyacentes
00
01 *
11 * * 1 *
10 *
34
Simplificación en el Mapa K de 5
variables
• Son simplificables:
• Dentro de cada submapa, los grupos simplificables en
un mapa de 4 variables
• Entre submapas, minitérminos simétricos o grupos
simplificables simétricos
CBA
ED 0 00 00 1 0 11 01 0 1 10 1 11 1 01 1 00
00 1
01 1 1 1
11
10 1 1 1 1
Funciones Incompletamente especificadas

Hay funciones que en algún (o algunos) renglones de su
tabla de verdad no están especificadas para valer 0 o 1,
porque esto resulta indistinto debido a que:
Ambos valores son igualmente satisfactorios
El renglón correspondiente corresponde a una situación que no
se puede dar en la práctica
En esos casos se coloca a la función el valor X que
significa “0 ó 1 indistintamente”
Estos estados indistintos se denominan en castellano
redundancias, y en inglés don´t cares.
Su importancia en los procesos de minimización de
expresiones reside en que una X en el mapa de
Karnaught puede considerarse como un comodín y
hacerla valer 0 ó 1 según convenga.
35
Ejemplo de Redundancias
Diseñar un circuito digital, al cual le ingresa, por sus entradas,
un código BCD Natural y en su salida debe encender un
display de 7 segmentos indicando el numero en decimal que
ingresa por su entrada. Muestre solo la ecuación del segmento
“d” del display.
Código BCD
Natural
Circuito
Lógico
7
4
Implementar d
Tabla de verdad y Mapa de Karnaught :
D C B A d Redundancia
0 0 0 0 1
0 0 0 1 0
0 0 1 0 1
0 0 1 1 1 BA
0 1 0 0 0 DC 00 01 11 10
0 1 0 1 1
00 1 0 1 1
0 1 1 0 1
0 1 1 1 0 01 0 1 0 1
1 0 0 0 1
1 0 0 1 X 11 X X X X
1 0 1 0 X
10 1 X X X
Combinaciones 1 0 1 1 X
que no se dan 1 1 0 0 X
en un código 1 1 0 1 X
BCD Natural 1 1 1 0 X _ _ __ _
1 1 1 1 X d = C.B.A + B.A + C.A + C.B
36
Tabla de verdad reducida
Es una herramienta que se usa para trabajar con
multiplexores .
La aplicación de la misma nos permite minimizar la cantidad
de entradas en los mencionados circuitos .
Se parte de la tabla de verdad y el mecanismo consiste en
reducir la cantidad de columnas en la misma; por cada
columna elimino una variable . Las variables que se eliminan
se ponen en función de los restantes .
Puedo, realizando varios pasos, reducir mas de una variable.
Analicemos el siguiente ejemplo :
Parto de la TV
Elimino la variable A C=B=0, en ambas tablas
C B A Z C B Z Para C=o; B=1;

0 0 0 1 Z sigue a A
0 0 1
0 0 1 1
0 1 A
0 1 0 0 Valor de Z
1 0 A
0 1 1 1
1 0 0 1 1 1 0
1 0 1 0
1 1 0 0
•Elimino la variable A, pero la misma aparece
1 1 1 0 en la columna de Z, en función de las otras.
•Puedo eliminar cualquier variable pero,
Rescribo la Tabla siempre conviene eliminar la de menor peso .
37
Fin de la Presentación
Algebra de Boole
38

Unidad 3 - Algebra de Boole

Cargado por

Información del documento

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

Unidad 3 - Algebra de Boole

Cargado por

Copyright:

Formatos disponibles

Algebra de Boole

Debo agradecer los textos e imágenes que

Ing. Daniel Acerbi – Febrero 2018©

Ing. Daniel Acerbi © - 2018 2

Ejemplo de un circuito simple de conmutación .

A Si la llave esta abierta (A=0) la

Descripción de los Interruptores :

=> Si : A = 0 Interruptor abierto

Interruptor normalmente cerrado (NC) :

=> Si : A = 0 Interruptor cerrado

La variable A, que identifica al interruptor, es una variable

Ing. Daniel Acerbi © - 2018 4

Ing. Daniel Acerbi © - 2018 5

Ing. Daniel Acerbi © - 2018 6

Ing. Daniel Acerbi © - 2018 7

George Boole Claude Shannon

Función : Una función lógica de variables binarias

Ing. Daniel Acerbi © - 2018 9

Ing. Daniel Acerbi © - 2018 11

Operación Producto Lógico

•Función y Tabla de verdad :

Ing. Daniel Acerbi © - 2018 14

Ing. Daniel Acerbi © - 2018 15

Ing. Daniel Acerbi © - 2018 18

T1a) A.0 = 0 =>

El “0” representa un circuito abierto. Nunca

T1b) A+1 = 1 =>

1 El “1” representa un cortocircuito. Y anula

Operaciones con el Inverso

Ing. Daniel Acerbi © - 2018 20

Equivale a negar 2 veces la variable A.

Ing. Daniel Acerbi © - 2018 21

T4b) (A+B)+C = A+(B+C) = A+B+C => Se

Ing. Daniel Acerbi © - 2018 22

C B A B.C Z A+B A+C Z Z = (A+B) . (A+C )

T6a) A . (B+A) = A Demuestro por métodos algebraicos

Ing. Daniel Acerbi © - 2018 24

Se puede demostrar, la igualdad, por TV

Son Iguales las funciones

Ing. Daniel Acerbi © - 2018 27

1) Si la función no es del tipo Suma de Productos,

Para ejemplificar las reglas anteriores utilizaremos un

Ing. Daniel Acerbi © - 2018 29

Dada la siguiente función :

Eliminamos la barra de negación aplicando el Teorema de De

Esta función de 3 variables, la representamos en una Tabla

Ing. Daniel Acerbi © - 2018 31

Ing. Daniel Acerbi © - 2018 32

Productos Canónicos o minitérminos

Estos términos no son canónicos :

• Representación de los distintos minitérminos, expresados literalmente

Teorema fundamental de los minitérminos

Ing. Daniel Acerbi © - 2018 38

Estos términos no son canónicos :

Obtención de 2da. de las Expresión Canónica :

A esta expresión la denominamos Producto de

Ing. Daniel Acerbi © - 2018 41

• Representación de los distintos Maxitérminos, expresados literalmente

Teorema fundamental de los Maxitérminos

Ing. Daniel Acerbi © - 2018 44

A partir de dicha TV obtuvimos 2 ecuaciones canónicas :

Z = C.B.A + C.B.A + C.B.A + C.B.A C B A Z

Representación de Funciones Lógicas

Ing. Daniel Acerbi © - 2018 Maurice Karnaught 46