Sistemas Digitales

Funciones Booleanas
Funciones
Funciones Booleanas y tablas de verdad
Booleanas Sumas de productos y productos de sumas
Formas canónicas
Mario Medina C.
Funciones primarias
mariomedina@udec.cl
Minitérminos y maxitérminos
Conversión entre formas canónicas

 Mario Medina

Función binaria ó Booleana Tabla de verdad

Expresión del tipo y(t) = F(x1(t), x2(t), . ., xn(t)) Tabula todas las posibles combinaciones de
Salida y(t) depende de los n argumentos y de la las entradas con sus salidas asociadas.
relación F en todo instante. Cada función tiene una única tabla de verdad
Salidas y entradas binarias sólo pueden tomar No existe ambiguedad, ya que incluye todas las
valores 0 y 1. posibilidades.
A B Suma Acarreo
Para n bits de entrada, habrá 2n posibles
0 0 0 0
combinaciones de entrada
0 1 1 0
1 0 1 0
1 1 0 1

Funciones y tablas de verdad Funciones y tablas de verdad

La relación entre una función F y su tabla de
verdad es directa
La expresión para una función binaria puede
obtenerse de su tabla de verdad, y viceversa.
Ambas contienen exactamente la misma
información
Cómo obtener una función F a partir de la
tabla de verdad
Para cada fila de salida 1, relacionar las entradas
con el operador intersección ( ● )
Cada variable X que toma valor 0 aparece
complementada (X’)
Cada variable X que tiene un 1 aparece sin
complementar
Todos los términos anteriores se relacionan
mediante el operador unión ( + )

© 2013 Mario Medina© Mario Medina C. 1

Sistemas Digitales

Ejemplo de relación de tabla Representación de valores

de verdad y funciones lógicos
Función Suma: Suma = A’B + A B’ = A⊕B Tabla de verdad suele usar valores 0 y 1 para
Función Acarreo: Acarreo = AB representar los estados lógicos
Esta representación es arbitraria
Otras alternativas de representación en la tabla
A B Acarreo Suma de verdad son:
0 0 0 0 V F
0 1 0 1 ON OFF
1 0 0 1 H (High) L (Low)
Vcc 0V
1 1 1 0

Representaciones de una
función SoP y PoS
Término producto (product term) Una función puede ser representada
Serie de literales relacionados por productos mediante una suma de productos (SoP)
lógicos ( ● ) Términos producto que se suman
ABC , ĀBD, X’Y’Z’, etc. F= A’B’C + ABC’ + B
Término suma (sum term) También es posible expresar una función
Serie de literales relacionados por sumas lógicas como un producto de sumas (PoS)
(+) Términos suma que se multiplican
A+B’+C , Ā+B+D, etc. F= (A’+B’+C)(A+B+C’)B

Ejemplo de formas canónicas

Formas canónicas de términos
La forma canónica o normalizada de un
término (producto o suma) de una función es
aquella en la que aparece un literal para
cada variable de la función
Cada variable aparece sólo una vez, ya sea
complementada o no, pero no en ambas formas
Sólo pueden aparecer complementos de
variables, no de otras funciones
Por ejemplo, X’, Ā, pero no (AB)’
de términos
Ejemplo: Considere una función F(A, B, C)
Términos ABC y AB’C’ son términos productos
normalizados de F
Términos AB y AC son términos productos, pero
no normalizados
Lo mismo se aplica a los términos suma
(A + B + C) y (A + B’ + C’) son términos suma
normalizados
(A + B) y (B + C) son términos suma no
normalizados

© 2013 Mario Medina© Mario Medina C. 2

Sistemas Digitales

Minitérminos Expresiones con minitérminos

Términos producto normalizados se llaman Sea F(A,B,C) representada en la sgte. tabla
minitérminos (minterms) de verdad A B C F F
Forma canónica de productos o suma Forma canónica para F(A, B, C) 0 0 0 0 1
normalizada de productos: representación de F = A’BC + AB’C’ + AB’C + ABC’ + ABC 0 0 1 0 1
una función usando minitérminos Forma canónica para F’(A, B, C) 0 1 0 0 1
0 1 1 1 0
Todas las combinaciones de variables de entrada que F’ = A’B’C’ + A’B’C + A’BC’ 1 0 0 1 0
generan una salida 1 para la función
1 0 1 1 0
En la función sólo se incluyen los minterms que 1 1 0 1 0
generan salida 1. 1 1 1 1 0

Notación reducida con Notación reducida con

minitérminos minitérminos
Notación alternativa para la forma canónica Función incluye sólo
A B C Minterms F minitérminos para los
de productos de una función 0 0 0 A B C = m0 0
Valores de entrada a la función se interpretan cuales F = 1
0 0 1 A B C = m1 0
como números binarios 0 1 0 A B C = m2 0 F(A, B, C) = m(3,4,5,6, 7) = m + m + m + m + m
∑ 3 4 5 6 7

Equivalente decimal del número binario es el 0 1 1 A B C = m3 1

1 0 0 A B C = m4 1
índice del minitérmino incluido en la función F (A,B, C) = ∑ m(0,1,2) = m0 + m1 + m2
1 0 1 A B C = m5 1
1 1 0 A B C = m6 1
1 1 1 A B C = m7 1

Notación reducida con

minitérminos
Orden de las variables es crítico para una
correcta interpretación de la notación
anterior
Orden debe mantenerse estrictamente en las
transformaciones entre notaciones
Interpretación del índice de cada minitérmino
dependerá de la definición de la función
Para F1(A,B,C), minterm m3(0112) es A’BC
Para F2(A,B,C,D), minterm m3(00112) es A’B’CD
Expresiones con minitérminos
Notación en minitérminos (forma canónica)
generalmente no será la notación mínima
Contendrá información redundante
F = A’BC + AB’C’ + AB’C + ABC’ + ABC
Es equivalente a F = A + BC
Lo anterior es fácil de demostrar aplicando
los lemas y teoremas del álgebra binaria
vistos anteriormente

© 2013 Mario Medina© Mario Medina C. 3

Sistemas Digitales

Funciones primarias con

Expresiones con minitérminos minitérminos
Cualquier función binaria de n variables Se obtienen a partir de los minitérminos
2n −1
puede expresarse como una función Tienen la forma
F(x 1 , x 2 , K , x n ) = ∑ a imi
canónica de productos o minitérminos i=0

Expresar la sgte. función en forma normalizada El valor 0 o 1 de los coeficientes ai indica la

de minterms
F(A, B, C, D) = (AC’ + D)BC’
El método consiste en multiplicar cada término
que no contiene la variable xi por (xi + xi’)
F(A, B, C, D) = ABC’D + ABC’D’ + A’BC’D
presencia o no presencia de los minitérminos
Una función de n variables booleanas tiene 2n
minitérminos
Cada minitérmino puede estar o no presente en la
función
n
n variables: se tendrán 22 funciones primarias

Funciones primarias con 2 Funciones primarias con 2

variables variables
a0 a1 a2 a3 Minitérminos Ex. Reducida Símbolo F. primaria
Para una función de 2 variables se tiene 0 0 0 0 0 0 f0
0 0 0 1 m3 XY AND f1
F(x, y) = a0m0 + a1m1 + a 2m2 + a 3m3 0 0 1 0 m2 XY f2
0 0 1 1 m2 + m3 X f3
0 1 0 0 m1 XY f4
2 variables: 22=4 minitérminos, y 24=16 0 1 0 1 m1 + m3 Y f5
0 1 1 0 m1 + m2 XY + XY XOR f6
funciones primarias 0 1 1 1 m1 + m2 + m3 X+Y OR f7
1 0 0 0 m0 XY NOR f8
Muchas de estas funciones primarias son tan 1 0 0 1 m0 + m3 XY+XY XNOR f9
m0 + m2 f10
comunes, que reciben un nombre especial 1 0 1 0
1 0 1 1 m0 + m2 + m3
Y
X+Y
NOT Y
f11
AND, OR, NOR, XOR, NEXOR, NOT 1 1 0 0 m0 + m1 X NOT X f12
1 1 0 1 m0 + m1 + m3 X+Y f13
1 1 1 0 m0 + m1 + m2 X+Y NAND f14
1 1 1 1 m0 + m1 + m2 + m3 1 f15

Funciones booleanas básicas Funciones booleanas básicas

AND OR NOR NAND
Intersección o producto Unión o suma lógica OR negado AND negado
lógico
X Y X AND Y X Y X OR Y X Y X NOR Y X Y X NAND Y
0 0 0 0 0 0 0 0 1 0 0 1
0 1 0 0 1 1 0 1 0 0 1 1
1 0 0 1 0 1 1 0 0 1 0 1
1 1 1 1 1 1 1 1 0 1 1 0

© 2013 Mario Medina© Mario Medina C. 4

Sistemas Digitales

Funciones booleanas básicas Maxitérminos

XOR NEXOR Una función booleana puede representarse
OR exclusivo Operador igualdad como un producto de sumas
Los términos suma normalizados se denominan
X Y X XOR Y X Y X NEXOR Y maxitérminos (maxterms)
0 0 0 0 0 1 Representación por maxterms se denomina
0 1 1 0 1 0
forma canónica o normalizada de sumas
Combinación de variables de entrada que
1 0 1 1 0 0 generan una salida 0 para la función
1 1 0 1 1 1

Producto-de-Sumas
normalizada y tabla de verdad Expresiones con maxitérminos
Cada fila de tabla de verdad tiene asociado Dada la siguiente función F:
A B C F F
un término suma normalizado (maxterm) La expansión en maxitérminos es: 0 0 0 0 1
Un valor 0 en la variable de entrada indica que F = (A + B + C)(A + B + C’)(A + B’ + C) 0 0 1 0 1
ésta aparece no complementada en el maxterm La expansión en maxitérminos de F’ 0 1 0 0 1
es: 0 1 1 1 0
Un valor 1 hace que ésta aparezca
1 0 0 1 0
complementada F’ = (A + B’ + C’)(A’ + B + C)(A’ + B + C’)
1 0 1 1 0
Es lo opuesto a la formación de los minterms (A’+ B’ + C)(A’ + B’ + C’)
1 1 0 1 0
Forma normalizada de sumas es productoria 1 1 1 1 0
de todos los maxterms asociados a un valor 0

Notación reducida con

maxitérminos Maxitérminos
Notación reducida es análoga Toda función booleana puede expresarse en
A B C Maxterms F
a minitérminos, pero 0 0 0 A + B + C = M0 0 forma canónica usando maxitérminos
1 en la entrada indica variable 0 0 1 A + B + C = M1 0
A + B + C = M2
Ejemplo: expresar F en forma canónica de sumas
complementada 0 1 0 0
0 1 1 A + B + C = M3 1 F(A, B, C, D) = (A + B)(C + BD)
0 en entrada indica variable sin
1 0 0 A + B + C = M4 1 A cada suma que no posee el literal xi, éste se
complementar 1 0 1 A + B + C = M5 1
1 1 0 A + B + C = M6 1
agrega sumando xi’xi
1 1 1 A + B + C = M7 1 F(A, B, C, D) = (A + B + C + D) (A + B + C + D’) (A + B +
F(A, B, C) = ∏ M(0,1,2) = M0 • M1 • M2
C’ + D’) (A + B’ + C + D) (A’ + B + C + D) (A’ + B + C +
F (A,B, C) = ∏ M(3,4,5,6,7) = M3 • M4 • M5 • M6 • M7 D’)(A’ + B’ + C + D) (A + B + C’ + D)

© 2013 Mario Medina© Mario Medina C. 5

Sistemas Digitales

Funciones primarias y
maxitérminos Más sobre maxitérminos
Las funciones primarias con maxitérminos La expresión con maxitérminos no es
tienen la forma necesariamente mínima
2 −1
n

F(x , x ,K, x ) = ∏ (b + M )
1 2 n i i F = (A + B)(A + C)
i=0
En particular, para una función de 2 variables es la versión minimizada de
se tiene F = (A + B + C)(A + B + C’)(A + B‘ + C)
F(x1, x 2 ) = (b0 + M0 )(b1 + M1 )(b 2 + M2 )(b 3 + M3 ) Simplificación usando leyes de De Morgan
(A + B)’ = A’B’
(AB)’ = A’ + B’

Relación entre minitérminos y Conversión entre formas

maxitérminos
La expansión en maxitérminos de una
función se deduce de aplicar el teorema de
De Morgan a la expansión de minitérminos
de la función
Asimismo, se puede obtener la expansión en
minitérminos de una función al aplicar el
teorema de De Morgan a los maxitérminos
de ella
canónicas
Expansión en maxterms contiene el
complemento de los minterms de la función
F(A, B, C) = ∑ m(3,4,5,6, 7) ⇔ ∏ M(0,1,2)
Expansión en minitérminos del complemento
de una función contiene los minitérminos
que no están presentes en la función
F(A, B, C) = ∑ m(3,4,5,6, 7) F(A, B, C) = ∏ M(0,1,2)
F (A, B, C) = ∑ m(0,1,2) F (A, B, C) = ∏ M(3,4,5,6, 7)

Representaciones de F
Una función F puede representarse usando
minitérminos o maxitérminos en forma
indistinta
F = A’BC + AB’C’ + AB’C + ABC’ + ABC
F = (A + B + C)(A + B + C’)(A + B’ + C)
Cuál es mejor?
Depende del problema específico
Tecnología, implementación, velocidad, etc.
Ejercicios
Convierta la función F(A, B, C, D) = (abd + a’b
+ b’d + c’)(c + ab + bd) a su forma canónica
de suma de productos
Convierta la función F(A, B, C, D) = b(a + c)(a’
+ c’) + d(b + c) a su forma canónica de
producto de sumas

© 2013 Mario Medina© Mario Medina C. 6