En lógica booleana , un término producto es una conjunción de literales, donde cada literal es una variable o su negación.
Ejemplos de términos de productos incluyen:
La terminología proviene de la similitud del AND con la multiplicación como en la estructura de anillo de los anillos booleanos .
Para una función booleana de variables , un término producto en el que cada una de las variables aparece una vez (ya sea en su forma complementada o no complementada) se llama minterm . Por tanto, un minitérmino es una expresión lógica de n variables que emplea sólo el operador de complemento y el operador de conjunción .
