MATEMATICAS DISCRETAS

MAXITERMINO Y MINITERMINO

ALUMNO:
EDGAR ALEXIS BRITO PERAZA

LICENCIATURA EN INGENIERIA EN SISTEMAS

18/FEBRERO/2017

PROF. ING. ARMANDO LOPEZ VALADEZ

 MAXITERMINO

Se le llama maxitermino a la suma de todas las variables de entrada o su negado. Para encontrar los
maxiterminos al igual que los miniterminos se necesita tener una tabla de verdad como la siguiente, o por lo
menos la salida (S).
A B C S

0 0 0 1

0 0 1 0

0 1 0 0

0 1 1 1

1 0 0 0

1 0 1 0

1 1 0 1

1 1 1 1

A diferencia que los miniterminos en los maxiterminos utilizamos las salida falsas (0) y en caso que
una de las variables sea verdadera (1) se tiene que cambiar falsa (0) y para eso se niega la variable un
ejemplo seria cuando A = 0, B= 0, C = 1, A+B+C, en este caso hay una variable verdadera la cual se tiene
que cambiar a falsa (0) y quedara A = 0, B = 0, C'= 0, A+B+C', esta sera la forma en que se obtiene cada
uno de los maxi trminos.

Despus de obtener cada uno de los maxiterminos entre estos se multiplica y la salida en funcin de
los maxiterminos quedara de la siguiente forma:

S = (A+B+C') (A+B'+C) (A'+B+C) (A'+B+C')

Un maxterm es una expresin lgica de n variable que consiste nicamente en la disyuncin lgica y el
operador complemento o negacin. Los maxterms son una expresin dual de los minterms. En vez de
usar operaciones AND utilizamos operaciones OR y procedemos de forma similar.

Por ejemplo, los siguientes son maxterms:

a+b'+c

a'+b+c

El complemento de un minterm es su respectivo maxterm. Esto puede ser fcilmente verificado usando la
Ley de Morgan. Por ejemplo:

m1' = M 1

(a'b)' = a+b'

Para indexar maxterms lo haremos justo de la forma contraria a la que seguimos con los minterms. Se
asigna a cada maxterm un ndice basado en el complemento del nmero binario que representa (otra vez
asegurndonos que las variables se escriben en el mismo orden, usualmente alfabtico). Por ejemplo,
podemos asignar M6 (Maxterm 6) al maxterm a'+b'+c. De forma similar M0 de tres variables debera ser
a+b+c y M7 es a'+b'+c'.

Funcin equivalente

Se puede ver fcilmente que un maxterm slo da como resultado un cero para una nica entrada de la
funcin lgica. Por ejemplo, el maxterm 5, a'+b+c', es falso solo cuando a y c son ciertos y b es falso - la
entrada a = 1, b = 0, c = 1 da como resultado un cero.

Si tenemos una tabla de verdad de una funcin lgica, es posible escribir la funcin como "producto de
sumas". Por ejemplo, dada la tabla de verdad

a b f(a, b)

001

010

101

110

Observamos que las filas que tiene como salida un 0 son la segunda y la cuarta, entonces podemos
escribir f como un producto de maxterms M1 y M3.

Si queremos verificar esto:

f(a,b) = M1 M3 = (a+b')(a'+b')

Tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la misma.

 MINITERMINOS

Se llama minitermino al producto de todas las variables de entrada o su negado. Para encontrar los
miniterminos se necesita tener una tabla de verdad como la siguiente, o por lo menos la salida (S)

A B C S

0 0 0 1

0 0 1 0

0 1 0 0

0 1 1 1

1 0 0 0

Teniendo 1 0 1 0 las salidas se utilizan nicamente las salidas verdaderas (1) y

viendo el nmero de trminos que son (en este caso 3, A, B, C) y cuando en
la combinacin es falsa (0) se cambia a verdadera (1), un ejemplo
para cuando 1 1 0 1 las variables son falsas(0) seria ABC = A'B'C' en este caso se
cambiaron todas las combinaciones que haba ya que todas eran falsas se
convierten a verdaderas para ello se tienen que negar y cuando todas las
entradas o 1 1 1 1 una es verdadera no se niega la variable y se queda como esta.

Despus de haber obtenido cada uno de los miniterminos se unen en forma de

suma y por lo consiguiente quedaran de las siguientes formas los miniterminos:

S = A'B'C' + A'BC + ABC' + ABC

Para una funcin booleana de n variables x1,...xn, un producto booleano en el que cada una de las n
variables aparece una sola vez (negada o sin negar) es llamado minterms. Es decir, un minterms es una
expresin lgica de n variables consistente nicamente en el operador conjuncin lgica (AND) y el
operador complemento o negacin (NOT).

Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una funcin booleana con las tres variables
a, b y c.

En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el mismo orden),
un ndice basado en el valor binario del minterm. un trmino negado, como a' es considerado como el
numero binario 0 y el trmino no negado a es considerado como un 1. Por ejemplo, se asociara el
nmero 6 con a b c'(1102), y nombraramos la expresin con el nombre m6. Entonces m0 de tres variables
es a'b'c'(0002) y m7 debera ser a b c(1112).

Funcin equivalente

Se puede observar que cada minterm solo devuelve 'verdadero' con una sola entrada de las posibles. Por
ejemplo, el minterm 5, a b' c, es verdadero solo cuando a y c son ciertos y b es falso - la entrada a = 1, b =
0, c = 1 da resultado 1.

Si tenemos una tabla de verdad de una funcin lgica, es posible escribir la funcin como "suma de
productos". Por ejemplo, dada la tabla de verdad

a b f(a, b)

001

010

101

110

Observamos que las filas con resultado 1 son la primera y la tercera, entonces podremos escribir f como
la suma de los minterms m0 y m2.

Si queremos verificar esto:

f(a,b) = m0 + m2 = (a'b')+(ab')

Tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la misma.