Aquí hay otra manera de pensarlo.
Un producto que se llama un término mínimo porque tiene mínimo satisfacibilidad donde como una suma que se llama un término suma porque tiene máximo-satisfacibilidad entre todas las funciones booleanas prácticamente interesantes.
Se llaman términos porque se utilizan como bloques de construcción de diversas representaciones canónicas de funciones booleanas arbitrarias.
Detalles:
Tenga en cuenta que '0' y '1' son las funciones booleanas triviales. Suponga un conjunto de variables booleanas x1,x2,...,xk
y una función booleana no trivial f(x1,x2,...,xk)
.
Convencionalmente, se dice que una entrada a satisfacer la función booleana f
, siempre f
contiene un valor de 1
para esa entrada.
Nota que hay exactamente 2^k
entradas posible, y cualquier boolean-función no trivial pueden satisfacer un mínimo de 1 de entrada a un máximo de 2^k -1
entradas.
Consideremos ahora las dos funciones booleanas simples de interés: suma de todas las variables S, y el producto de todas las variables P (variables pueden/May-no aparecer como complementos). S es una función booleana que tiene máximo-satisfacibilidad por lo tanto llamado como términos suma, en donde como P es la que tiene mínimo-satisfacibilidad por lo tanto llamado un término producto.
me encontré con esta pregunta porque tenía una duda similar. Quería saber cuál era la aplicación práctica de un maxterm. La aplicación de minitermo está muy bien explicada en el enlace proporcionado por @Rubenelius. Sin embargo, no puedo pensar en cómo un maxterm evaluaría alguna vez a verdadero o 1 considerando el hecho de que si hubiera como 2 o 3 maxterms posibles ... si 1 se evalúa como verdadero, los demás definitivamente evaluarían a 0. – LeroyJD