término del producto

En lógica booleana , un término producto es una conjunción de literales, donde cada literal es una variable o su negación.

Algunos ejemplos de términos de productos son:

${\displaystyle A\wedge B}$

${\displaystyle A\wedge (\neg B)\wedge (\neg C)}$

${\displaystyle \neg A}$

La terminología proviene de la similitud entre AND y la multiplicación, como en la estructura de anillo de los anillos booleanos .

Para una función booleana de${\displaystyle n}$variables${\displaystyle {x_{1},\dots ,x_{n}}}$, un término de producto en el que cada uno de los${\displaystyle n}$Una expresión que aparece una sola vez (ya sea en su forma complementada o no complementada) se denomina minterm . Por lo tanto, un minterm es una expresión lógica de n variables que emplea únicamente el operador de complemento y el operador de conjunción .

• Fredrick J. Hill y Gerald R. Peterson, 1974, Introducción a la teoría de conmutación y al diseño lógico, Segunda edición , John Wiley & Sons, Nueva York, ISBN 0-471-39882-9