Un maxterm, máxterm, maxtérmino o maxitérmino consiste únicamente en una expresión algebraica booleana de disyunción lógica de una serie de variables booleanas, cada una de las cuales puede estar negada o no.
Como es una disyunción lógica, solamente se evalúa como falsa (
) para una única combinación de esas variables.
Un maxterm se forma sumando (OR lógico) todas las variables, negando aquellas que valen
Para n variables booleanas, existen
maxterms, uno para cada posible combinación de ellas.
Se emplean para expresar una función lógica en forma canónica conjuntiva.
Los maxterms son una expresión dual de los minterm, donde, en vez de usar operaciones OR, se utilizan operaciones AND, procediendo de forma similar.
Asumiendo un determinado orden para las variables, un maxterm puede denotarse abreviadamente como
sólo para la combinación de variables booleanas que codifican en base 2 el número decimal
Tal codificación establece una correspondencia entre las variables y los dígitos, de forma que a cada variable negada en el maxterm, corresponde un dígito
Por ejemplo: Por ejemplo, los siguientes términos canónicos son maxtérminos: Una función lógica puede expresarse en forma canónica conjuntiva, es decir como producto de todos sus maxterm, representada así:
Para cualquier otra combinación, esa expresión vale
Basados en una función de 3 variables (a, b, c), y considerando la dificultad de poner el negado de una variable como una barrita superior (aunque el apóstrofe es también utilizado), tenemos lo siguiente: f(a,b,c) = (a+bc+ac)b <-Forma no normalizada Puede expresarse en maxtérminos, por lo cual demanda una interpretación normalizada de Producto de Sumas (Normalizada = PS) Puede expresarse en maxtérminos de forma normalizada como un producto de sumas (forma canónica conjuntiva): +De este modo tenemos los maxtérminos, lo cual facilita (sobre todo cuando son 3 o más variables) encontrar la solución de la función.
En la tabla de verdad, los maxtérminos se representan con un 0 cuando están presentes.
Recordemos que cada negado en cada término vale 1.
+He aquí la comprobación: Recuerde que la lógica empleada en los maxtérminos es exactamente opuesta a la aplicada en los mintérminos.