REPBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR

PARA LA EDUCACIN UNIVERSITARIA
UNIVERSIDAD BOLIVARIANA DE VENEZUELA
EJE GEOPOLITICO PRECURSOR JOS LEONARDO CHIRINO
ARQUITECTURA DEL COMPUTADOR

REPRESENTACIN DE
FUNCIONES BOOLEANAS

Marzo,2015

Definiciones:
Literal: Se refiere a una variable o a su complemento

Por
A ejemplo:
X
X
Trmino Producto: Es un grupo de literales que se encuentran

relacionados entre s por un operador lgico AND.

Por ejemplo:

A B

C A

X Y Z

Trmino Suma: Es un grupo de literales que se encuentran

relacionados entre s por un operador lgico OR.

Por ejemplo:

AB

CA

X Y Z

Definiciones:

Termino normal: Trmino producto o trmino suma en el que un

literal no aparece ms de una vez.

Trmino

cannico: Trmino en el que se encuentra

exactamente uno de cada uno de los literales de la funcin. Si el
trmino cannico es un producto, se denominar Mintrmino. Si
es una suma se denominar Maxtrmino.

Forma Normal de una Funcin: Es la que est constituida por

trminos normales. Puede estar en la forma suma de trminos

productos o productos de trminos sumas.

Forma Cannica de una Funcin: Es aquella constituida

exclusivamente por trminos cannicos que aparecen una sola

vez.

Forma Cannica de Funciones Booleanas

Existen dos formas cannicas de una funcin: Suma de Productos o
Producto de Sumas. (Tambin de una manera ms formal Suma de
Min trminos o Producto de Max trminos).
Para obtener algebraicamente la forma cannica de una funcin
podemos utilizar los teoremas de expansin cannica:
Teorema 1: Para obtener la forma cannica de una funcin suma
(X X)
de productos se multiplicar por un trmino
de la forma ,donde
falte un literal para que el trmino sea cannico.
Teorema 2: Para obtener la forma cannica de una funcin
X un
X
producto de sumas se sumar
trmino de la forma
,donde
falte un literal para que el trmino sea cannico.

Formas Cannicas de una Funcin Booleana

Forma Cannica Suma de Productos: Es aquella constituida
exclusivamente por trminos cannicos productos (Mintrminos)
sumados que aparecen una sola vez.
F ( X ,Y , Z ) X Y Z X Y Z X Y Z X Y Z
X Y Z
Por ejemplo:

Forma Cannica Producto de Sumas: Es aquella constituida

exclusivamente por trminos cannicos sumas (Maxtrminos)
multiplicados que aparecen una sola vez.
F ( X ,Y , Z ) ( X Y Z ) ( X Y Z ) ( X Y Z )
Por ejemplo:

Tabla de Mintrminos y Maxtrminos

Forma Cannica Suma de Productos

Ejemplo:
F X Y Z
Exprese la siguiente funcin
de Mintrminos:

, como una suma

Hay dos formas de resolver este problema.

Forma 1.
Aplicando los teoremas de expansin cannica para las variables
faltantes.
X Y Z
X (Y Y ) (Z Z ) Y Z ( X

X)

X ( X Y
X Y) (Z Z) Y Z X Y Z X

X Y Z X Y Z X Y Z X Y Z

X Y Z X Y Z

X Y Z X Y Z X Y Z X Y Z

X Y Z

Forma Cannica Suma de Productos

Ejemplo:
F X Y Z
Exprese la siguiente funcin
,como una suma de
Mintrminos:
Forma 2.
Se puede obtener la tabla de verdad de la expresin y entonces
tomar los Mintrminos. Se evala la funcin para todas las
combinaciones y se toman los Mintrminos de la tabla para los
cuales la funcin vale 1.

La respuesta obtenida al aplicar cualquiera de las dos formas es:

F ( X ,Y , Z ) X Y Z X Y Z X Y Z X Y Z
X Y Z
F( X
,Y , Z ) m(1,4,5,6,7)
Otra notacin que podemos utilizar
es:
que quiere decir la sumatoria de los Mintrminos 1, 4, 5, 6, 7.

Forma Cannica Producto de Sumas

Ejemplo:
F X Y Z
Exprese la siguiente funcin
Maxtrminos:

,como un producto de

Hay dos formas de resolver este problema.

Forma 1.
Aplicando los teoremas de expansin cannica para las variables
faltantes.
X Y Z
( X Y ) ( X Z )
( X Y Z Z ) ( X Z Y Y)
( X Y Z ) ( X Y Z ) ( X Y Z ) (X Y Z)
( X Y Z ) ( X Y Z ) ( X Y Z )
( X Y Z ) ( X Y Z ) ( X Y Z )

Forma Cannica Producto de Sumas

Ejemplo:
F X Y Z
Exprese la siguiente funcin
,como un producto de
Maxtrminos:
Forma 2.
Se puede obtener la tabla de verdad de la expresin y entonces
tomar los Maxtrminos. Se evala la funcin para todas las
combinaciones y se toman los Maxtrminos de la tabla para los
cuales la funcin vale 0.

La respuesta obtenida al aplicar cualquiera de las dos formas es:

F ( X Y Z ) ( X Y Z ) ( X Y Z )
F es:
Otra notacin que podemos utilizar
M (0,2,3)
que quiere decir el producto de los Maxtrminos 0, 2, 3.

Forma Normal de una Funcin Booleana

Otra manera importante de expresar expresiones booleanas es la
forma normal.
Tiene la misma estructura bsica suma de productos o producto de
sumas, pero no se requiere que los trminos sean Mintrminos o
Maxtrminos.
Por ejemplo:
X Y X Y
Z
La siguiente expresin es una Forma Normal Suma de
Productos:
( X Y ) ( X Z ) Y

La siguiente expresin es una Forma Normal Producto de

Sumas:
A lo largo de este curso la forma que se utilizar con preferencia

GRACIAS POR SU
ATENCION!