Universidad Nacional de Moreno

Algebra de Boole
Indice

Introducción
Algebra de Boole

Circuito con llaves
Funciones

Tabla de Verdad

Operaciones

Postulados del Algebra de Boole
Debo agradecer los textos e imágenes que
fueron tomadas del libro Técnicas Digitales * Dualidad
del Ing. Jorge Sinderman

Teoremas del Algerbra de Boole

Funciones del Algebra de Boole ( ver índice )

Ing. Daniel Acerbi – Febrero 2018© Ing. Daniel Acerbi © - 2018 2

Descripción de los Interruptores :

Introducción Interruptor normalmente abierto (NA) :

En las primeras décadas del siglo XX los primeros circuitos => Si : A = 0 Interruptor abierto
digitales o circuitos lógicos tuvieron aplicación en centrales Acciono interruptor
telefónicas, estos circuitos se fabricaban con llaves y relevadores
A A = 1 Interruptor cerrado
(relés). Por utilizar los componentes mencionados se los
denominaban Circuitos de Conmutación .

Interruptor normalmente cerrado (NC) :

Ejemplo de un circuito simple de conmutación .
Funcionamiento : => Si : A = 0 Interruptor cerrado
Si la llave esta abierta (A=0) la Acciono interruptor
A _
E lámpara permanecerá apagada A = 1 Interruptor abierto
L (Z=0) . A

Si la llave se cierra (A=1), la
La variable A, que identifica al interruptor, es una variable

lámpara se enciende (Z=1 ) . discreta, solo puede tener 2 valores 0 y 1 .

E = Fuente de energía
Ing. Daniel Acerbi © - 2018 3 Ing. Daniel Acerbi © - 2018 4

1
 Circuitos con Interruptores Conexión Serie

Básicamente existen 2 tipos de conexiones básicas en
En esta conexión la corriente eléctrica debe atravesar
los circuitos con interruptores. Ellas son : 2 o mas interruptores, los mismos se encuentran uno
a continuación del otro .

Conexión Serie
Ejemplo :
Z = C.B.A Obsérvese que :

Conexión Paralelo Solo Z = 1 (lámpara
encendida ) si los 3
interruptores se
encuentran cerrados
A B C Z (A y B y C =1 )
L

Ing. Daniel Acerbi © - 2018 5 Ing. Daniel Acerbi © - 2018 6

Conexión Paralelo Algebra de Boole

El Algebra de Boole data de 1854, y es la herramienta

En esta conexión la corriente eléctrica se bifurca por 2 matemática mas apropiada para trabajar con
o mas interruptores, los mismos se encuentran uno variables discretas.
en paralelo del otro .
Las variables discretas son aquellas que pueden

Ejemplo : tener solo dos valores 0; 1 .
Obsérvese que :

Claude Shannon en 1938 adaptó, el Algebra de Boole,
Z = C+B+A para que se pudiese aplicar a los sistemas digitales .
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
George Boole Claude Shannon
Ing. Daniel Acerbi © - 2018 7 Ing. Daniel Acerbi © - 2018 8

2
 Funciones en el Algebra de Boole Tabla de Verdad

La herramienta ideal para trabajar, ordenadamente, con

Función : Una función lógica de variables binarias funciones en el Algebra de Boole es la Tabla de Verdad.
relaciona una variable denominada dependiente (X, Y, Z)
En ella podemos representar todos los posibles valores de las

con otras llamadas independientes ( A, B, C, D, … ). variables independientes y obtenemos, para cada uno de ellos,
el correspondiente valor de la variable dependiente.
Supongamos Z = f ( B, A ) .
Z = f ( D, C, B, A )
La cantidad de
renglones es igual a : El numero de
Variables Dependiente : Z 2n B A Z columnas depende
Variables Independientes : D, C, B, A Donde n es el numero de la cantidad de
0 0 0 variables
Constantes : 0; 1 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
Ing. Daniel Acerbi © - 2018 9 Ing. Daniel Acerbi © - 2018 10

Operaciones Básicas
Operación Producto Lógico
del Algebra de Boole
El Producto Lógico también se lo suele denominar operación AND u
operación Y .

Definición de la operación :

Producto Lógico 0.0 = 0
A B
0.1 = 0

Suma Lógica 1.0 = 0
1.1 = 1

Negación
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
Ing. Daniel Acerbi © - 2018 11 Ing. Daniel Acerbi © - 2018 12

3
 Operación Negación
Operación Suma Lógica •La Operación Lógica Negación también se la suele denominar

La Suma Lógica también se la suele denominar operación OR u operación NOT o NO .
operación O .

Definición de la operación : •Función y Tabla de verdad :
0+0 = 0
0+1 = 1 A B Z=A
1+0 = 1 A Z A
A
1+1 = 1
0 1

Función
y Tabla de verdad : 1 0
Z = B+A
B A Z La Compuerta
0 0 0 Básica OR se El Inversor se utiliza
utiliza para para representar la
0 1 1
representar la operación inversión
1 0 1 Suma Lógico
1 1 1
Ing. Daniel Acerbi © - 2018 13 Ing. Daniel Acerbi © - 2018 14

Postulados Principio de Dualidad ( 1 )

Variables Bivaluadas
Dualidad : Dos expresiones o funciones son duales entre si, cuando
1a) Si A ≠ 0 entonces A=1 1b) Si A ≠ 1 entonces A=0 podemos pasar de una a otra intercambiando las operaciones de
sumas lógicas por productos lógicos y viceversa; y todos los ceros

Propiedad Conmutativa por unos y viceversa.
2a) A.B = B.A 2b) A+B = B+A

Principio de Dualidad : Si dos funciones son iguales entre sí, sus

Propiedad de Idempotencia duales también lo serán .
3a) A.A = A 3b) A+A = A

Ejemplos :

Elemento Neutro
4a) A.1 = A 4b) A+0 = A
A+1=1 A.B=B.A

Operación Negación
_ _ A. 0=0 A+B=B+A
5a) 0 = 1 5b) 1 = 0
Dual de Dual de
Ing. Daniel Acerbi © - 2018 15 Ing. Daniel Acerbi © - 2018 16

4
 Principio de Dualidad ( 2 )

Dual de una Tabla de Verdad : El Dual de una función representada Teoremas
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

T1) Operaciones con el “0” y el “1”

T2) Operaciones con el Inverso
0 0 1 0 0 0 1 1 0 1 1 1
0 1 0 1 0 0 1 0 1 0 1 1
T3) Propiedad de Involución
1 0 0 0 1 0 0 1 1 1 0 1
T4) Propiedad Asociativa
1 1 0 0 0 1 0 0 1 1 1 0
T5) Propiedades Distributivas
Dual de una TV
T6) Propiedad de Absorción
B A Q0 Q1 Q2 Q3
Reordeno la TV
T7) Propiedad de Simplificación
0 0 1 1 1 0 para poder
T8) Leyes de De Morgan
analizarla mejor
0 1 1 1 0 1
1 0 1 0 1 1
1 1 0 1 1 1
Ing. Daniel Acerbi © - 2018 17 Ing. Daniel Acerbi © - 2018 18

Operaciones con el 0 y 1

Operaciones con el Inverso
_

T1a) A.0 = 0 =>

T2a) A.A = 0 => Si A = 0; A = 1 => 0.1 = 0

Ξ
_ Ξ
A 0 0
0
A A
El “0” representa un circuito abierto. Nunca
habrá circulación de corriente
_

T1b) A+1 = 1 =>
T2b) A+A = 1 => Es válida por el principio de dualidad

1
A
Ξ

1 El “1” representa un cortocircuito. Y anula

la acción del interruptor
Ing. Daniel Acerbi © - 2018 19 Ing. Daniel Acerbi © - 2018 20

5

Propiedad de la Involución :

Propiedad Asociativa
= _ _ T4a) (A.B).C = A.(B.C) = A.B.C => Todos tienen la
T3) A = A => Si A = 0; 0 = 1; 1 = 0 misma función transferencia

= =
A B C A B C A B C
Equivale a negar 2 veces la variable A.
Por lo tanto permanece en el valor
que tenía antes de negar .
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 .

Ing. Daniel Acerbi © - 2018 21 Ing. Daniel Acerbi © - 2018 22

Propiedad Distributiva
T5a) A. (B+C) = A.B + A.C => Se demuestra mediante Tabla de

Propiedad de Absorción
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 } T6a) A . (B+A) = A Demuestro por métodos algebraicos
A . (B+A) = A.B + A.A =
Z = A + B.C A
A.B + A = A.( B+1 ) = A.1 = A

Z = (A+B) . (A+C ) 1
C B A B.C Z A+B A+C Z
0 0 0 0 0 0 0 0
T6b) A + B.A = A
0 0 1 0 1 1 1 1
Demuestro por métodos algebraicos
0 1 0 0 0 1 0 0
Ambas funciones A + B.A = A ( 1 + B ) = A.1 = A
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 1 0 1 1 1 1 1
1 1 1 1 1 1 1Ing. Daniel
1 Acerbi © - 2018 23 Ing. Daniel Acerbi © - 2018 24

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

(A+B).1=A+B Son Iguales las funciones

Ing. Daniel Acerbi © - 2018 25 Ing. Daniel Acerbi © - 2018 26

Universidad Nacional de Moreno

Indice

Reglas para el Mapeo de una Función

Expresiones Canónicas
Funciones del Algebra de Boole * 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
Ing. Daniel Acerbi © - 2018 27 Ing. Daniel Acerbi © - 2018 28

7

Dada la siguiente función :
Reglas para el Mapeo de una Función
_ _ _ _
Z = ( B+A ) . ( C + A ) . ( C + B + A )

1) Si la función no es del tipo Suma de Productos,
llevarla a esa forma aplicando las reglas del Algebra de
Eliminamos la barra de negación aplicando el Teorema de De
Conmutación . Morgan .

2) Tabular, separadamente, cada uno de los términos _ _ _ _
de dicha función, en la Tabla de Verdad . Z = ( B+A ) + ( C + A ) + ( C + B + A )

3) Obtener a partir de la Tabla de Verdad los valores de Eliminamos las barras de negación aplicadas a los paréntesis,
la variable dependiente Z . aplicando el Teorema de De Morgan, .
_ _ _
Para ejemplificar las reglas anteriores utilizaremos un Z = ( B.A ) + ( C . A ) + ( C . B . A )
ejemplo .
Esta función de 3 variables, la representamos en una Tabla
de Verdad.
Ing. Daniel Acerbi © - 2018 29 Ing. Daniel Acerbi © - 2018 30

Represento cada uno de los productos en la TV : _ _ _

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

_ _ _ _ _ _
C B A B.A C.A C.B.A Z C B A B.A C.A C.B.A Z
0 0 0 0 0 0 0.0.1=0 0 0 0 0 0 0 0
0 0 1 1 1 0 0 0 1 1 1 0 1 1+1+0=1
0 1 0 0 0 0 1.1=1 0 1 0 0 0 0 0
0 1 1 0 1 0 0 1 1 0 1 0 1
1 0 0 0 0 0 1 0 0 0 0 0 0
1.1=1 0+0+0=0
1 0 1 1 0 0 1 0 1 1 0 0 1
1 1 0 0 0 1 1 1 0 0 0 1 1
1 1 1 0 0 0 1 1 1 0 0 0 0

Ing. Daniel Acerbi © - 2018 31 Ing. Daniel Acerbi © - 2018 32

8
 Expresiones Canónicas Productos Canónicos o minitérminos

Definición :
Dado un cierto numero de variables independientes, a todo

Toda función lógica puede expresarse de varias maneras producto en el que figuren todas ellas, ya sea en su forma
distintas. Una de esas maneras son las llamadas normal o complementada se los denomina Producto Canónico
o minitérmino o mintérmino .
Expresiones Canónicas o estandarizadas .

La cantidad de minitérminos que se pueden formar con n

Las Expresiones Canónicas están formadas por términos variables lógicas es 2n .
canónicos .
Ejemplos de minitérminos :

Un término canónico es aquel en el que intervienen todas Sea una función de cuatro variables Z = f ( D, C, B, A ) .
las variables de la función, ya sea en su forma normal o Estos términos son canónicos (intervienen las 4 variables):
complementada . _ _ _
DCBA DCBA

Por cada tabla de verdad voy a poder obtener 2
expresiones canónicas; una a partir de los “1” y otra a
Estos términos no son canónicos :
partir de los “0” de la tabla de verdad. Esto va a dar a _
futuro la posibilidad de construir 2 circuitos lógicos por DBA DBA
cada función de la que partimos .
Ing. Daniel Acerbi © - 2018 33 Ing. Daniel Acerbi © - 2018 34

Obtención de la 1ra. de las Expresión Canónica :

• Representación de los distintos minitérminos, expresados literalmente
Sea la TV que se encuentra mas abajo : y de manera abreviada en la TV .
1) La primera función canónica que obtendremos es la Suma de C B A Z Minitérmino Forma Numeración de un minitérmino :
Productos Canónicos, parto, para ello de los términos que hacen “1” abrevi.
la función en la Tabla de Verdad . Sea el minitérmino siguiente :
___
•Tomo los minitérminos que hacen que Z sea 0 0 0 0 C.B.A m0 _ _
igual a “1” . __

C B A Z
0 0 1 1 C.B.A m1 C.B.A = m2
_ _
0 0 0 0 __ _ _ _ 0 1 0 0 C.B.A m2
0 1 0 2
Z = C.B.A + C.B.A + C.B.A + C.B.A _
0 0 1 1
0 1 1 1 C.B.A m3 Para numerar los minitérminos tomo
0 1 0 0 __ las variables negadas como 0 y las sin
1 0 0 0 C.B.A m4 negar como 1, en este caso representa
0 1 1 1 minitérminos al numero 2 en binario .
_
1 0 0 0 A esta expresión la denominamos Suma de 1 0 1 1 C.B.A m5 Otro ejemplo :
1 0 1 1 Productos Canónicos ( SdPC ). Obsérvese _ _
que la misma es una suma de productos 1 1 0 1 C.B.A m6 C.B.A = m6
1 1 0 1 donde en c/u de ellos intervienen todas las
variables independientes .
1 1 1 0 1 1 1 0 C.B.A m7
Ing. Daniel Acerbi © - 2018 35 Ing. Daniel Acerbi © - 2018 36

9
• Representación de una Suma de Productos de manera literal y
numérica .
C B A Z Minitérmino Forma
Teorema fundamental de los minitérminos
Recordando la anterior ecuación de
abrevi. SdePC :
Toda función lógica se puede expresar como suma de
___ __ _ _ _ minitérminos. Esta función es única y se la denomina Suma de
0 0 0 0 C.B.A m0 Z = C.B.A + C.B.A + C.B.A + C.B.A Productos Canónicos .
__ Esta manera de escribir la función se la
0 0 1 1 C.B.A m1 denomina literal .
Corolario 1 :
_ _
También puedo escribirla como suma La sumatoria de todos los minitérminos que se pueden formar
0 1 0 0 C.B.A m2 de minitérminos ( forma abreviada ) : con n variables lógicas es igual a 1. En nuestra expresión
_ ejemplo queda que :
Z = m1 + m3 + m5 + m6
0 1 1 1 C.B.A m3 m0 + m1 + m2 + m3 + m4 + m5 + m6 + m7 = 1
__
1 0 0 0 C.B.A m4 Forma numérica :
Corolario 2 :
_ Indica cantidad
Z = ∑ ( 1, 3, 5, 6 ) de variables
La sumatoria de ciertos minitérminos de n variables lógicas es
1 0 1 1 C.B.A m5 igual al complemento de la sumatoria de los restantes .
_ 3
1 1 0 1 C.B.A m6 m1 + m3 + m5 + m6 = m0 + m2 + m4 + m7
Indica sumatoria
1 1 1 0 C.B.A m7
Ing. Daniel Acerbi © - 2018 37 Ing. Daniel Acerbi © - 2018 38

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

Sea la TV que se encuentra mas abajo :
Sumas Canónicas o Maxitérminos
1) La segunda función canónica que obtendremos es el Producto de

Definición :
Sumas Canónicos, parto, para ello de los términos que hacen “0” la
Dado un cierto numero de variables independientes, a toda función en la Tabla de Verdad .
suma en la que figuren todas ellas, ya sea en su forma
normal o complementada se las denomina Suma Canónica o •Tomo los minitérminos que hacen que Z
C B A Z
Maxitérmino o Maxtérmino . sea igual a “0”. Pero ahora igualo a Z

La cantidad de Maxitérminos que se pueden formar con n 0 0 0 0
_ ___ _ _ __
variables lógicas es 2n .
0 0 1 1

Ejemplos de Maxitérminos : Z = C.B.A + C.B.A + C.B.A + C.B.A
Sea una función de cuatro variables Z = f ( D, C, B, A ) . 0 1 0 0
Estos términos son canónicos (intervienen las 4 variables): 0 1 1 1 Ahora obtengo Z negando en ambos miembros de
_ _ _ la igualdad .
1 0 0 0
D+C+B+A D+C+B+A _ ___ _ _ __
1 0 1 1
Z = C.B.A + C.B.A + C.B.A + C.B.A
Estos términos no son canónicos : 1 1 0 1
Resolviendo por Algebra de Boole, obtengo Z
_ 1 1 1 0 _ _ _ _ _
D+B+A D+B+A
Z = (C+B+A) . (C+B+A) . (C+B+A) . (C+B+A)
Ing. Daniel Acerbi © - 2018 39 Ing. Daniel Acerbi © - 2018 40

10

Retomando la ecuación : • 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 :
Z = (C+B+A) . (C+B+A) . (C+B+A) . (C+B+A) abrevi.
Sea el minitérmino (m2) siguiente :
0 0 0 0 C+B+A M0 _ _ _
_
Maxitérminos 0 0 1 1 C+B+A M1 C.B.A => C+B+A
_
A esta expresión la denominamos Producto de 0 1 0 0 C+B+A M2
El complemento de = Maxtérmino
Sumas Canónicas ( PdSC ). Obsérvese que la misma _ _ m2 ( 010 ) M2
es un producto de sumas donde en c/u de ellas 0 1 1 1 C+B+A M3
intervienen todas las variables independientes . _ 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
Ing. Daniel Acerbi © - 2018 41 Ing. Daniel Acerbi © - 2018 42

• 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:
Teorema fundamental de los Maxitérminos
abrevi. _ _ _ _ _

Toda función lógica se puede expresar como Producto de
Z = (C+B+A).(C+B+A).(C+B+A).(C+B+A) Maxitérminos. Esta función es única y se la denomina Producto
0 0 0 0 C+B+A M0 de Sumas Canónicas .
_ Esta manera de escribir la función se la
0 0 1 1 C+B+A M1 denomina literal .
Corolario 1 :
_ También puedo escribirla de esta manera : La productoria de todos los Maxitérminos que se pueden formar
0 1 0 0 C+B+A M2 Z = M0 . M2 . M4 . M7 con n variables lógicas es igual a 0. En nuestra expresión
_ _ ejemplo queda que :
0 1 1 1 C+B+A M3 Forma numérica : M0 . M1 . M2 . M3 . M4 . M5 . M6 . M7 = 0
_ Z = Π ( 0, 2, 4, 7 )
1 0 0 0 C+B+A M4 Indica Cantidad de
Corolario 2 :
3
_ _ variables
La productoria de ciertos Maxitérminos de n variables lógicas es
1 0 1 1 C+B+A M5 igual al complemento de la productoria de los restantes .
_ _ Indica Productoria
1 1 0 1 C+B+A M6 M0 . M2 . M4 . M7 = M1 . M3 . M5 . M6
_ _ _
1 1 1 0 C+B+A M7
Ing. Daniel Acerbi © - 2018 43 Ing. Daniel Acerbi © - 2018 44

11
 Resumen

Partimos de la siguiente expresión, y obtuvimos la tabla de Representación de Funciones Lógicas
verdad:
_ _ _
Los Mapas de Karnaught, pueden ser visualizados
Z = ( B.A ) + ( C . A ) + ( C . B . A ) como una forma estilizada de los diagramas de

A partir de dicha TV obtuvimos 2 ecuaciones canónicas :
Venn, donde los campos de las diferentes
a) Suma de Productos Canónicos variables no son círculos sino cuadrados o
__ _ _ _ minitérminos rectángulos .
Z = C.B.A + C.B.A + C.B.A + C.B.A C B A Z
0 0 0 0

A continuación mostraremos la forma de ambos
b) Producto de Sumas Canónicas
0 0 1 1 diagramas .
_ _ _ _ _
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
Ing. Daniel Acerbi © - 2018 45 Ing. Daniel Acerbi © - 2018 Maurice Karnaught 46

Diagramas de Karnaught y Venn para 1 Diagramas de Karnaught y Venn para 2

variables variables

Mapa de Venn de 1 variable
Mapa de Karnaught de 1
Mapa de Venn de 2 variables
Mapa de Karnaught de 2
variable
variables
_
0 1
A A A
_ 0 1
A _ B
A A _ _ _ 0
B
B.A B.A
_

B B.A B.A 1

Ing. Daniel Acerbi © - 2018 47 Ing. Daniel Acerbi © - 2018 48

12
 Diagramas de Karnaught y Venn para 3 Diagramas de Karnaught y Venn para 4
variables variables

Mapa de Venn de 3 variables
Mapa de Karnaught de 3

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

_ C 00 01 11 10 D.C.B.A D.C.B.A D.C.B.A D.C.B.A 00

___ __ _ __ _ _ _ _ _
_ _ _
C C.B.A C.B.A
0 D.C.B.A D.C.B.A D.C.B.A D.C.B.A 01
C.B.A C.B.A
__ _ _
__ _ _ D.C.B.A D.C.B.A D.C.B.A D.C.B.A 11
C C.B.A C.B.A C.B.A 1 ___ __ _ _ _
C.B.A
D.C.B.A D.C.B.A D.C.B.A D.C.B.A
10

_
B B

Ing. Daniel Acerbi © - 2018 49 Ing. Daniel Acerbi © - 2018 50

Diagramas de Karnaught y Venn para 5

Adyacencia en los Mapas de Karnaught
variables

Son minitérminos adyacentes:

Mapa de Venn de 5 variables
Mapa de Karnaught de 5 variables • Dos casilleros contiguos
• Dos casilleros ubicados en los extremos de una hilera (fila o
CBA columna) de 4 casilleros (“los extremos se tocan”).
000 001 011 010 110 111 101 100
ED Casilleros No Adyacentes
00

01 BA
C 00 01 11 10
11
0 * + +
10
__

1
C.B.A * *

Casilleros Adyacentes
Ing. Daniel Acerbi © - 2018 51 Ing. Daniel Acerbi © - 2018 52

13
 Mapeo de una función
El Mapa de Karnaught como Tabla de Verdad
Dada la TV del ejercicio que estábamos analizando, completaremos su
correspondiente Mapa de Karnaught .

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 . C B A Z BA

0 0 0 0 C 00 01 11 10

0 0 1 1 0 0 1 1 0
A 0 1 0 0
1 0 1 0 1
0 1 1 1
B A Z B 0 1
1 0 0 0
0 0 0 0 0 1
1 0 1 1
0 1 1
1
0 1 1 1 0 1
1 0 0 1 1 1 0
1 1 1 Ing. Daniel Acerbi © - 2018 53 Ing. Daniel Acerbi © - 2018 54

Simplificación de Funciones Minitérminos Adyacentes

Lógicas • Minitérminos adyacentes son aquellos que solo difieren en
una única variable, que uno de ellos la tiene como factor

Los mapas de Karnaught son la herramienta mas en forma normal, y el otro invertida
difundida para representar y simplificar funciones
_ _
lógicas.

Su forma va a depender del numero de variables Z = C.B.A + C.B.A = C.A ( B + B ) = C.A.1 = C.A
independientes que los conformen .
1

Otro método de minimización de funciones es el de
Quine - Mc Cluskey y se aplica en reducciones con • La suma de dos minitérminos adyacentes es un único
computadoras . El mismo ya no se utiliza mas . producto en el que sólo figuran las variables comunes a
ambos minitérminos

Nosotros utilizaremos el soft libre WinLogicLab 8.0
• La simplificación de una función es deseable cuando se
que nos permitirá manejar tablas de verdad de 12 necesita implementarla físicamente con compuertas, pues
variables independientes y hasta 8 variables cada literal que se ahorra en la expresión significa una
dependientes . compuerta menos en el circuito lógico .
Ing. Daniel Acerbi © - 2018 55 Ing. Daniel Acerbi © - 2018 56

14
 Simplificación de una función lógica Grupos simplificables
Sea la función anteriormente analizada :

Los grupos simplificables son siempre potencia de 2n .
_ _
Puedo formar grupos simplificables tanto con los “1” como con
Z = C.B.A + C.B.A = C.A ( B + B ) = C.A los “0”. Las características de los grupos son similares .

Grupos simplificables y ordenes de productos que generan :
Represento la función Z en el mapa Los minitérminos
de Karnaught ocupan 1 casillero –Grupo de un “1” - Minitérminos, no eliminan variables
–Grupo de 2 “1” - Producto de Orden 1, elimina 1 variable
BA Producto de Orden 1,
–Grupo de 4 “1” - Producto de Orden 2, elimina 2 variables
C 00 01 11 10 surgen de agrupar 2
unos . –Grupo de 8 “1” - Producto de Orden 3, elimina 3 variables
0 0 0 0 0 –Grupo de 16 “1” - Producto de Orden 4, elimina 4 variables
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 Ing. Daniel Acerbi © - 2018 58

Implicantes Implicantes Primos

Son todos los grupos simplificables que puedo formar en
Son aquellos grupos simplificables que no están englobados
un Mapa de Karnaught . en otros de mayor tamaño .

Ejemplo, para ello tomamos el Mapa de Karnaught que
La expresión sólo debe contener implicantes primos .
veníamos desarrollando :
BA Implicantes Primos
BA Implicantes C 00 01 11 10

00 01 11 10 0 1 1 1 1
C
1 1 1 C +B
0 0 1 1 0
0 1 0 1 Mal simplificados. La BA
1 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
Ing. Daniel Acerbi © - 2018 59 Ing. Daniel Acerbi © - 2018 60

15
 Implicantes Primos Esenciales Simplificación de Funciones - Reglas

Son todos aquellos implicantes primos que forzosamente deben
figurar en la expresión final, pues son los únicos que aportan
La expresión mínima, partiendo de los “1”, de la función es
determinados “1”. aquella Suma de Productos que satisface los siguientes

Es recomendable comenzar a simplificar por estos implicantes, si criterios:
los hubiera, para minimizar la posibilidad de error . • Cobertura: Todos los 1 de la función deben pertenecen, al
menos, a un producto.
• Uso de implicantes primos: Ningún producto puede ser
BA Implicantes Primos Esenciales reemplazado por otro de mayor orden que lo engloba. Porque
si eso fuera posible, se debe usar el producto de mayor orden.
DC 00 01 11 10 • Irreductibilidad: Ningún producto puede ser suprimido sin que
cese la cobertura de todos los 1. Es decir que ningún producto
00 1 sólo puede abarcar a unos cubiertos por otros productos,
porque en ese caso podría ser suprimido.
01 1 1 1
También podemos obtener otra expresión mínima,
partiendo de los “0”, en este caso debemos
11 1 1 1 igualarla a Z, para comenzar a trabajar. Las reglas son
similares a la de los “1” .
10 1
Ing. Daniel Acerbi © - 2018 61 Ing. Daniel Acerbi © - 2018 62

Ejemplos de simplificación Evitar grupos innecesarios

BA
C
BA
00 01 11 10 C
BA
00 01 11 10

No colocar grupos cuya supresión no afecta a la
C 00 01 11 10
0 1 1 0 1 1 1 cobertura de la función
0 1 1

1 1 1 1 1 1 1 BA BA
C 00 01 11 10 C 00 01 11 10

B . A + BA 1 1 1 0 1 1 1
C .B + CB A 0
C A + C B + BA
1 1 1 1

Recordar : Que no se pueden

formar grupos simplificables _ __ NO
de 3 unos. _ __ __
Z = B.A + C.A
Esta es la manera correcta de Z = B.A + C.A + C.B
hacerlo . •Suma de Productos
•Suma de Productos
•Función mínima
•No es Función mínima
Ing. Daniel Acerbi © - 2018 63 Ing. Daniel Acerbi © - 2018 64

16
 Ejemplos de Simplificación Simplificación agrupando “1”

Retomando el ejemplo, simplificaremos nuestro Mapa de
Los 4 grupos son Implicantes Al agregar el grupo de 4 “1”en
verde, la función deja de ser
Karnaught :
Primos esenciales
mínima
Comenzaremos agrupando los “1”
BA
BA BA
C 00 01 11 10
DC 00 01 11 10 DC 00 01 11 10

00 1 00 1 0 0 1 1 0 _ _ _
1 1 Z = B.A + C.A + C.B.A
01 1 1 1 01 1
1 0 1 0 1
1 1 1 11 1 1 1
11
1 10 1
10
Z es una Suma de Productos (SdP)
• Suma de Productos •Suma de Productos Z es una función mínima
• Función mínima •No es Función mínima
Ing. Daniel Acerbi © - 2018 65 Ing. Daniel Acerbi © - 2018 66

Simplificación agrupando “0”

Mapa K de 5 variables

Ahora agrupamos los “0”, pero partimos de Z • 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
BA
_ _ _ _ _ están ubicados simétricamente respecto del eje de simetría.
C 00 01 11 10
Z = B.A + C.A + C.B.A
0 0 1 1 0
Niego en ambos miembros, para CBA
obtener Z ED 000 001 011 010 110 111 101 100
0 1 0 1 Casilleros Adyacentes
1 00
_ _ _ _ _
01 *
Z = B.A + C.A + C.B.A
11 * * 1 *
Opero convenientemente
10 *
Z es un Producto de Sumas (PdS) _ _ _
Z es una función mínima Z = (B+A) . (C+A) . (C+B+A)

Ing. Daniel Acerbi © - 2018 67 Ing. Daniel Acerbi © - 2018 68

17
 Simplificación en el Mapa K de 5
Funciones Incompletamente especificadas
variables
• Son simplificables:  Hay funciones que en algún (o algunos) renglones de su
• Dentro de cada submapa, los grupos simplificables en tabla de verdad no están especificadas para valer 0 o 1,
un mapa de 4 variables porque esto resulta indistinto debido a que:
 Ambos valores son igualmente satisfactorios
• Entre submapas, minitérminos simétricos o grupos  El renglón correspondiente corresponde a una situación que no
simplificables simétricos se puede dar en la práctica
 En esos casos se coloca a la función el valor X que
CBA significa “0 ó 1 indistintamente”
ED 000 0 01 0 11 01 0 11 0 1 11 1 01 1 00  Estos estados indistintos se denominan en castellano
00 1 redundancias, y en inglés don´t cares.
 Su importancia en los procesos de minimización de
1 1 1
01 expresiones reside en que una X en el mapa de
11
Karnaught puede considerarse como un comodín y
hacerla valer 0 ó 1 según convenga.
10 1 1 1 1

Ing. Daniel Acerbi © - 2018 69 Ing. Daniel Acerbi © - 2018 70

Ejemplo de Redundancias
Tabla de verdad y Mapa de Karnaught :

Diseñar un circuito digital, al cual le ingresa, por sus entradas, D C B A d Redundancia

un código BCD Natural y en su salida debe encender un 0 0 0 0 1
display de 7 segmentos indicando el numero en decimal que 0 0 0 1 0

ingresa por su entrada. Muestre solo la ecuación del segmento 0 0 1 0 1

“d” del display. 0 0 1 1 1 BA

0 1 0 0 0 DC 00 01 11 10
0 1 0 1 1
Código BCD 00 1 0 1 1
0 1 1 0 1
Natural
Circuito 0 1 1 1 0 01 0 1 0 1
1 0 0 0 1
Lógico
1 0 0 1 X 11 X X X X
1 0 1 0 X
7 10 1 X X X
4 Combinaciones 1 0 1 1 X
Implementar d 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
Ing. Daniel Acerbi © - 2018 71 Ing. Daniel Acerbi © - 2018 72

18
 Tabla de verdad reducida Parto de la TV
Elimino la variable A C=B=0, en ambas tablas

Es una herramienta que se usa para trabajar con
multiplexores . C B A Z C B Z Para C=o; B=1;

La aplicación de la misma nos permite minimizar la cantidad Z sigue a A
0 0 0 1
de entradas en los mencionados circuitos . 0 0 1
Se parte de la tabla de verdad y el mecanismo consiste en 0 0 1 1

0 1 A
reducir la cantidad de columnas en la misma; por cada 0 1 0 0 Valor de Z
columna elimino una variable . Las variables que se eliminan 1 0 A
0 1 1 1
se ponen en función de los restantes . 1 1 0
1 0 0 1

Puedo, realizando varios pasos, reducir mas de una variable.

Analicemos el siguiente ejemplo : 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 .
Ing. Daniel Acerbi © - 2018 73

Universidad Nacional de Moreno

Fin de la Presentación
Algebra de Boole

19