Mario Medina

Funciones
Booleanas
Mario Medina C.
mariomedina@udec.cl
Jorge Salgado S.
jorgesalgado@udec.cl
Funcin binaria Booleana
Expresin del tipo y(t) = F(x
1
(t), x
2
(t), . ., x
n
(t))
La salida y(t) depende de los n argumentos y de
la relacin F en todo instante.
Las salidas y entradas binarias slo pueden
tomar valores 0 y 1.
Para n bits de entrada, habr 2
n
posibles
combinaciones de entrada

Tabla verdad
Tabula todas las posibles combinaciones de
las entradas con sus salidas asociadas.
Cada funcin tiene una nica tabla de verdad
No existe ambiguedad, ya que incluye todas las
posibilidades.
Ej. Suma binaria
A B Acarreo Suma
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 0
Funciones y tablas de verdad
La relacin entre una funcin F y su tabla
verdad es directa.
La expresin para una funcin binaria puede
obtenerse de su tabla verdad, y viceversa
Ambas contienen exactamente la misma
informacin
Funciones y tablas de verdad
Cmo obtener una funcin F a partir de la
tabla verdad?
Para cada fila de salida 1, relacionar las variables
de entrada con el operador interseccin ( )
Cada variable X que toma valor 0 aparece
complement[d[ (X)
Cada variable X que tiene un 1 aparece sin
complementar
Todos los trminos anteriores se relacionan
mediante el operador unin ( + )
Ejemplo 1 de relacin de tabla verdad
y funciones
Funcin Suma = AB + A B = AB (or exclusivo)
Funcin Acarreo = AB (AND)
A B Acarreo Suma
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 0
Representacin de valores lgicos
La tabla verdad suele usar valores 0 y 1
para representar los estados lgicos.
Esta representacin es arbitraria
Otras alternativas de representacin en la
tabla verdad son:

Verdadero Falso
ON OFF
H (High) L (Low)
Vcc 0 V
Representaciones de una funcin
Una funcin puede representarse mediante
trminos sumas o mediante trminos productos.

Trmino producto (product term)
Es una serie de literales relacionados por productos
lgicos ( )
Ej. ABC , BD, XYZ, etc.
Trmino suma (sum term)
Es una serie de literales relacionados por sumas lgicas
( + )
Ej. (A+B+C), (+B+D), etc.



SoP (sum of products) y
PoS (product of sums)
Una funcin puede ser representada
mediante una suma de productos (SoP)
Trminos producto que se suman
F= ABC + ABC + B

Tambin es posible expresar una funcin
como un producto de sumas (PoS)
Trminos suma que se multiplican
F1= (A+B+C)(A+B+C)B
Formas cannicas de trminos
La forma cannica o normalizada de un
trmino (producto o suma) de una funcin,
es aquella en que aparece un literal para
cada variable de la funcin.
Cada variable aparece slo una vez, ya sea
complementada o no, pero no en ambas formas.
Slo pueden aparecer complementos de
variables, no expresiones u otras funciones.
Por ejemplo, X, A, pero no (XA) 10/35
Ejemplos de formas cannicas de trminos
Ejemplo1: Considere una funcin F(A, B, C)
Los trminos ABC y ABC son trminos productos
normalizados de F.
Los trminos AB y AC son trminos productos, pero
no normalizados.

Lo mismo se aplica a los trminos suma.
Ejemplo2: Los trminos (A + B + C) y (A + B + C) son
trminos sumas normalizados.
(A + B) y (B + C) son trminos suma pero no son
normalizados.
Minitrminos
Los trminos productos normalizados se
llaman minitrminos (minterms).
La forma cannica de productos (suma
normalizada de productos) de una funcin ,
es la representacin de la funcin usando
minitrminos.
Son todas las combinaciones de variables de entrada
que generan una salida 1 para la funcin dada.
En la funcin slo se incluyen los minterminos que
generan una salida 1.
Expresiones con minitrminos
Sea F(A,B,C) representada en la siguiente tabla
verdad:
Forma cannica para F(A, B, C)
F = ABC + ABC + ABC + ABC + ABC
Forma cannica para F(A, B, C)
F = ABC + ABC + ABC
Tarea: Obtener F complementando F
Gua: Aplicar concepto de complemento
de una funcin (pp-6 de la unidad 4)
0 1 1 1 1
0 1 0 1 1
0 1 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 1 0
1 0 1 0 0
1 0 0 0 0
F F C B A
Notacin reducida con minitrminos
Notacin alternativa para la forma cannica
de productos de una funcin:

Los valores de entrada a la funcin se interpretan
como nmeros binarios.
El equivalente decimal del nmero binario es el ndice
del minitrmino incluido en la funcin (mi).
Notacin reducida con minitrminos
La funcin F incluye slo
minitrminos para los
cuales F = 1

+ + + + = =
7 6 5 4 3
) 7 , 6 , 5 , 4 , 3 ( C) B, F(A, m m m m m m

+ + = =
2 1 0
) 2 , 1 , 0 ( C) B, (A, F m m m m
1 m C B A 1 1 1
1 m C B A 0 1 1
1 m C B A 1 0 1
1 m C B A 0 0 1
1 m C B A 1 1 0
0 m C B A 0 1 0
0 m C B A 1 0 0
0 m C B A 0 0 0
F Minterms C B A
7
6
5
4
3
2
1
0
=
=
=
=
=
=
=
=
Notacin reducida con minitrminos
El orden de las variables es crtico para
una correcta interpretacin de la notacin
anterior.
El orden debe mantenerse estrictamente en
las transformaciones entre notaciones.
Ia interpretacin del ndice de cada minitrmino
depender de la definicin de la funcin.
Para F
1
(A,B,C), el minterm m
3
(011
2
) es ABC
Para F
2
(A,B,C,D), el minterm m
3
(0011
2
) es ABCD
Expresiones con minitrminos
La notacin en minitrminos (forma
cannica) generalmente no ser la
notacin mnima.
Contendr informacin redundante
F = ABC + ABC + ABC + ABC + ABC
Es equivalente a F = A + BC ok
Lo anterior es fcil de demostrar aplicando
los postulados, lemas y teoremas del lgebra
binaria vistos anteriormente.
Tarea: demostrar que F puede minimizarse.
Expresiones con minitrminos
Cualquier funcin binaria de n variables
puede expresarse como una funcin
cannica de productos o minitrminos.
Ejemplo: expresar la siguiente funcin en forma
normalizada de minterms
F(A, B, C, D) = (AC + D)BC
El mtodo consiste en multiplicar cada trmino
que no contiene la variable x
i
por (x
i
+ x
i
)
F(A, B, C, D) = ABCD + ABCD + ABCD ok
Funciones primarias con minitrminos
Las funciones primarias f se obtienen a partir de los
minitrminos mi :


El valor 0 1 de los coeficientes a
i
indica la presencia
o no presencia de los minitrminos.
Una funcin de n variables booleanas tiene 2
n

minitrminos.
Cada minitrmino puede estar presente o no en la funcin.
Con n variables: se tendrn 2
2
funciones primarias.

=
=
1 2
0
n 2 1
) x , , x , F(x
n
i
i i
m a
n
Funciones primarias con 2 variables
Ejemplo: Dada una funcin con dos variables

Una funcin de 2 variables tiene 2
2
=4 miniterm.


2 variables => 2
4
= 16 funciones primarias.

Muchas de estas funciones primarias son tan
comunes, que reciben un nombre especial
AND, OR, NOR, XOR, NEXOR, NOT 20/35
3 3 2 2 1 1 0 0
y) F(x, m a m a m a m a + + + =
f
15
1
m
0
+ m
1
+ m
2
+ m
3 1 1 1 1
f
14
NAND X + Y
m
0
+ m
1
+ m
2
1 1 1 0
f
13
X + Y
m
0
+ m
1
+ m
3
1 1 0 1
f
12
NOT X X
m
0
+ m
1
1 1 0 0
f
11
X + Y
m
0
+ m
2
+ m
3
1 0 1 1
f
10
NOT Y Y
m
0
+ m
2
1 0 1 0
f
9
XNOR X Y + X Y
m
0
+ m
3
1 0 0 1
f
8
NOR X Y
m
0
1 0 0 0
f
7
OR X + Y
m
1
+ m
2
+ m
3
0 1 1 1
f
6
XOR XY + XY
m
1
+ m
2
0 1 1 0
f
5
Y
m
1
+ m
3
0 1 0 1
f
4
XY
m
1
0 1 0 0
f
3
X
m
2
+ m
3
0 0 1 1
f
2
XY
m
2
0 0 1 0
f
1
AND XY
m
3 0 0 0 1
f
0
0
0
0 0 0 0
F. primaria Oper.Lg Exp Reducida
Minitrminos
a
0
a
1
a
2
a
3
Funciones primarias con 2 variables
Funciones booleanas bsicas
AND
Interseccin o producto
lgico

OR
Unin o suma lgica
X Y X AND Y
0 0 0
0 1 0
1 0 0
1 1 1
X Y X OR Y
0 0 0
0 1 1
1 0 1
1 1 1
Funciones booleanas bsicas
XOR
OR exclusivo
Operador desigualdad


NEXOR
OR exclusivo negado
Operador igualdad

X Y X XOR Y
0 0 0
0 1 1
1 0 1
1 1 0
X Y X NEXOR Y
0 0 1
0 1 0
1 0 0
1 1 1
Funciones booleanas bsicas
NOR
OR negado

NAND
AND negado
X Y X NOR Y
0 0 1
0 1 0
1 0 0
1 1 0
X Y X NAND Y
0 0 1
0 1 1
1 0 1
1 1 0
Maxitrminos
Una funcin booleana puede representarse
como un producto de sumas.
Los trminos suma normalizados se denominan
maxitrminos (maxterms)
Representacin por maxterms se denomina
forma cannica o normalizada de sumas
Combinacin de variables de entrada que
generan una salida 0 para la funcin.
Producto-de-Sumas normalizadas (PoS)
y tabla verdad
Cada fila de la tabla verdad tiene asociado un
trmino suma normalizado (maxitmino)
Un valor 0 en la variable de entrada indica que sta
aparece no complementada en el maxterm.
Un valor 1 hace que sta aparezca complementada
Es lo opuesto a la formacin de los minterms.

La forma normalizada de sumas es productora
de todos los maxterms asociados a un valor 0.
Expresiones con maxitrminos
Ejemplo: dada la siguiente funcin F:
La expansin en maxitrminos es:
F = (A + B + C)(A + B + C)(A + B + C)
L[ exp[nsin en m[xitrminos de F
es:
F = (A + B + C)(A + B + C)(A + B + C)
(A+ B + C)(A + B + C)
0 1 1 1 1
0 1 0 1 1
0 1 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 1 0
1 0 1 0 0
1 0 0 0 0
F F C B A
Nota: Ejemplo muy didctico

Ejercicio: Escribir F como una SoP
Notacin reducida con maxitrminos
La Notacin reducida es
anloga a minitrminos, pero:
1 en la entrada indica variable
complementada
0 en entrada indica variable sin
complementar


Y l[ exp[nsin en M[xt. de F es:
1 M C B A 1 1 1
1 M C B A 0 1 1
1 M C B A 1 0 1
1 M C B A 0 0 1
1 M C B A 1 1 0
0 M C B A 0 1 0
0 M C B A 1 0 0
0 M C B A 0 0 0
F Maxterms C B A
7
6
5
4
3
2
1
0
= + +
= + +
= + +
= + +
= + +
= + +
= + +
= + +
2 1 0
) 2 , 1 , 0 ( C) B, F(A, M M M M - - = [ =
7 6 5 4 3
) 7 , 6 , 5 , 4 , 3 ( C) B, (A, F M M M M M M - - - - = [ =
Maxitrminos
Toda funcin booleana puede expresarse
en forma cannica usando maxitrminos.
Ejemplo 1. Expresar F dado en la forma cannica de
producto de sumas
F(A, B, C, D) = (A + B)(C + BD)
Solucin:
F(A, B, C, D) = (A + B + C + D) (A + B + C + D)
(A + B + C + D) (A + B+C + D) (A + B + C + D)
(A + B + C + D)(A+ B + C + D) (A + B + C + D)
OK.
Tarea: comprobar resultado.
Funciones primarias y maxitrminos 30/35
Las funciones primarias con maxitrminos
tienen la forma:


En particular, para una funcin de 2 variables
se tiene:

( )
[

=
+ =
1 2
0
n 2 1
) x , , x , F(x
n
i
i i
M b
( )( )( )( )
3 3 2 2 1 1 0 0 2 1
) x , F(x M b M b M b M b + + + + =
Ms sobre maxitrminos
La expresin con maxitrminos no es
necesariamente mnima
F = (A + B)(A + C) ok
es la versin minimizada de
F = (A + B + C)(A + B + C)(A + B + C)
Simplificacin: usando leyes de De Morgan
(A + B) = AB
(AB) = A + B
Relacin entre minitrminos y
maxitrminos
La expansin en maxitrminos de una
funcin se deduce de aplicar el teorema de
De Morgan a la expansin de minitrminos
de la funcin
Asimismo, se puede obtener la expansin
en minitrminos de una funcin al aplicar
el teorema de De Morgan a los maxitrminos
de ella.
Conversin entre formas cannicas
La expansin en maxterms contiene el
complemento de los minterms de la funcin

Expansin en minitrminos del complemento
de una funcin contiene los minitrminos
que no estn presentes en la funcin
[
= ) 2 , 1 , 0 ( ) 7 , 6 , 5 , 4 , 3 ( C) B, F(A, M m
[
[
= =
= =
) 7 , 6 , 5 , 4 , 3 ( C) B, (A, F ) 2 , 1 , 0 ( C) B, (A, F
) 2 , 1 , 0 ( C) B, F(A, ) 7 , 6 , 5 , 4 , 3 ( C) B, F(A,
M m
M m
Representaciones de F
Una funcin F puede representarse usando
minitrminos o maxitrminos en forma
indistinta.
F = ABC + ABC + ABC + ABC + ABC
F = (A + B + C)(A + B + C)(A + B + C)
Cul es mejor?
Depende del problema especfico
Tecnologa, implementacin, velocidad, etc. 34/35



FIN UNIDAD 5