Un maxitérmino es una expresión lógica de n variables que consiste únicamente en la disyunción lógica y el operador complemento o negación. Los maxterms són una expresión dual de los minitérminos. En vez de usar operaciones AND utilizamos operaciones OR y procedemos de forma similar.

Por ejemplo, los siguientes términos canónicos son maxitérminos:

 

 

 

 

 

 

 

 

Dualización

 

El complemento de un minterm es su respectivo maxitérmino. Esto puede ser fácilmente verificado usando la Ley de De Morgan. Por ejemplo:

 

 

 

 

 

 

 

 

Indexando maxitérminos

 

 

Para indexar maxitérminos 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 número binario que representa (otra vez asegurándonos que las variables se escriben en el mismo orden, usualmente alfabético). Por ejemplo, para una función de tres variables f(a,b,c) podemos asignar  (Maxitérmino 6) al maxitérmino: . De forma similar  de tres variables debería ser  y  es .

Se puede ver fácilmente que un maxitérmino sólo da como resultado un cero para una única entrada de la función lógica. Por ejemplo, el maxitérmino 5, , 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.

 

Función equivalente

 

Si tenemos una tabla de verdad de una función lógica, f(a,b), es posible escribir la función como "producto de sumas". Por ejemplo, dada la tabla de verdad.

Observamos que las filas que tiene como salida un 0 son la segunda y la tercera, entonces podemos escribir f como un producto de maxitérminos .

Si queremos verificar esto:

 

tendremos que la tabla de verdad de la función, calculándola directamente, será la misma.

La aplicación en un circuito de interruptores, es el del esquema, donde se puede ver los dos interruptores superiores a y a', y los inferiores b' y b.

En primer lugar tenemos puestos en paralelo a y b', lo que seria a+b', y a continuación, a' y b en paralelo que seria a'+b, estos dos circuitos parciales puestos en serie son equivalentes a (a+b')(a'+b), las distintas combinaciones de a y b, corresponden, como se puede ver a la tabla de verdad.

Este circuito está cerrado solo en dos de las cuatro combinaciones posibles: a b con los interruptores en esta posición se conecta la entrada con la salida y a’ b’ que también cierra circuito, para las otras combinaciones el circuito está abierto.

 

 

 

Para dos variables, n = 2 el número de funciones de Booleposibles es 16.



Las 16 funciones listadas pueden subdividirse en trescategorías:1.- Dos funciones que producen una constante 0 ó 12.- Cuatro funciones con operaciones unarias decomplemento y transferencia..3.- Diez funciones con operadores binarios que definen ochooperaciones diferentes AND, OR, NAND, NOR, OR-exclusiva,equivalencia, inhibición e implicación.De los ocho operadores binarios, dos (inhibición eimplicación) son usados por los logistas, pero muy rara vezse usan en lógica de computadoras. Los operadores AND yOR se han mencionado conjuntamente con el álgebra deBoole. Las otras cuatro funciones se usa mucho en el diseñode sistemas digitales.

 

TABLAS DE VERDAD PARA LAS 16 FUNCIONES DEDOS VARIABLES BINARIAS