MINITERMINOS Y MAXITERMINOS

Una variable binaria podr aparecer en su forma normal o en su forma complementaria.

Considere ahora dos variables binarias y que se combina con una operacin AND. Puesto que
cada variable podr aparecer en cualquier de sus formas ,
hay cuatro combinaciones posibles x y, xy, xy y xy cada uno de esto cuatro
miniterminos AND es un es una mini termino, o producto estndar. De manera similar ,
podemos combinar n variable para formar 2- 1 bajo las n variables. Cada miniternino se
obtiene de un termino AND de las n variables , poniendo a un apostrofo a cada variable si
el bit correspondiente del numero binario es un 0 y sin apostrofo si es un 1. en la
tabla tambin se muestra un smbolo para cada minitermino, el cual tiene la forma m , donde j
denota el equivalente decimal del numero binario del minitermino designado.

Asimismo, n variable que forman un termino OR donde cada variable puede tener apostrofo o
no dan pie a 2 n posibles combinaciones, llamadas maxiterminos o sumas estndar. En la tabla
2-3 se presentan los ocho maxiterminos de tres variables , junto con su designacin simblica .
podemos obtener de manera similar cualesquier 2n maxiterminos para n variables.

Se puede expresar algebraicamente una funcin boolean a partir de una tabla de

verdad dada formando un minitermino para cada combinaciones de
las variables que producen un 1 en la funci y formando despus el OR de todos estos
trminos.

Dijimos antes que para n variables binarias , podemos obtener 2n miniterminos distintos y
que es posible expresar cualquier funcin booleana como una suma de miniterminos.
Los miniterminos cuya suma define a la funcin booleana son los que producen los unos de
la funcin en una tabla de verdad. Puesto que la funcin puede dar 1 o 0con cada minitermino.

Expresa la funcin booleana F = A-BC como suma de miniterminos. La fusin tiene tres
variables A,B,C. En el primer termino, A, faltan dos variables por tanto A esta todava la
falta una variable.

A= AB(C+C) + AB (C+C)

= ABC+ABC+ABC+ABC

al Segundo termino, BC le falta una variable :

BC=BC(A+A)=ABC+ABC

Al combinar todos los trminos tenemos.

F=A+BC

= ABC + ABC + ABC + ABC + ABC .

Sin embargo ABC aparece dos veces y, segn el teorema 1 (x+x=x), podemos eliminar uno de
ellos . despus de reacomodar los miniterminos en orden ascendente . obtenemos por fin.

F = ABC + ABC + ABC + ABC+ ABC

=m1 + m4 + m6 + m7
Hay ocasiones en que conviene expresar la funcin booleana, en su forma de suma de
miniterminos. Con la siguiente notacin abreviada.

F(A,B,C) = (1,4,5,6,7)

el simbolo de representa OR de los termino numricos.

La tabla de verdad que se muestra en la tabla se deduce directamente de la

expresin algebraica enumerado las ocho combinaciones binarias bajo las variables A,B,C.

A B C F

0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

PRODUCTOS DE MAXITERMINOS

Cada una de las 2n funciones de n variables binarias se puede expresar tambin como un
producto de maxiterminos para expresar la fusin booleana como productos de maxiterminos,
primero debe ponerse en formato de trminos OR esto podra hacerse con la ayuda de la
ley distributiva , x + yz = (x+y)(x+z). Luego se hace el OR de cualquier variable faltante x en
cada termino OR con xx.

Un argumento similar demuestra que la conversin entre el producto de maxiterminos y

la suma de miniterminos es similar. Ahora plantearemos un procedimiento general de conversin.
Para convertir de una forma cononica a otra intercambiamos los smbolos y e incluimos en
la lista solo nmeros que faltaban en la forma original.

Es posible convertir un funcin booleana de una expresin algebraica a una

producto de maxiterminos utilizando una tabla de verdad y el procedimiento de
conversin cononica.

F= xy + xz

Primero obtenemos la tabla de verdad de la funcin, la cual se muestra en la tabla . los unos
bajo F en la tabla se determina a partir de las combinaciones de las variables en las que xy= 11
o zx = 01. de la tabla de verdad deducimos que los miniterminos de la funcin son 1,3 o y 7.
la funcin expresada como suma de miniterminos es :
 F(x,y,z) = (1,3,6,7)

Puesto que en total hay ocho miniterminos o maxiterminos en una funcin de

tres variables deducimos que los trminos faltante son 0,2,4 y5. la funcin
expresada como productos de maxiterminos es:

F(x,y,z) = (0,,2,4,5)

Esta es la misma respuesta que obtuvimos en el ejemplo anterior:

x y z F

0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1

SOLUCIN:

Una funcin lgica se puede expresar mediante dos formas cannicas:

a) Suma de minterms.

b) Producto de maxterms.

a) Los minitrminos (minterms) son el producto de todas las entradas, asociando la variable natural
(a, b, c) si toma el valor 1 en la tabla de verdad y negada (a, b, c) si toma el valor 0. Se representa
por milos productos cannicos, con "i" igual al valor decimal de la combinacin binaria que se obtiene
al sustituir por 1 las variables que aparecen (en el producto cannico) en forma natural y por 0 a las
que lo hacen en forma negada.

b) Los maxitrminos (Maxterms) son la suma de todas las entradas, asociando la variable negada
(a, b, c) si toma el valor 1 en la tabla de verdad y sin negar (a, b, c) si toma el valor 0. Se
representa por M ilas sumas cannicas, con "i" igual significado que en los productos cannicos.

En la siguiente tabla tenemos los minitrminos y los maxitrminos para cuatro entradas a, b y c, as
como el valor de la salida f:
La funcin lgica se puede expresar como suma de minitrminos (minterms), donde aparecern
aquellos que en la tabla de verdad la salida f valga "1":

f = m 1 + m3 + m4 + m5

por tanto, observando la tabla, la respuesta correcta es:

b)

La funcin lgica se puede expresar tambin, como producto de maxitrminos (Maxterms), donde
aparecern aquellos que en la tabla de verdad la salida f valga "0":

f = M 0M 1M5M 7

por tanto, la respuesta correcta es:

c)