Produktterm

I boolesk logik är en produktterm en konjunktion av literaler, där varje literal är antingen en variabel eller dess negation.

Exempel

Exempel på produkttermer inkluderar:

$A\wedge B$

$A\wedge (\neg B)\wedge (\neg C)$

$\neg A$

Ursprung

Terminologin kommer från likheten mellan AND och multiplikation som i ringstrukturen för booleska ringar .

Minterms

För en boolesk funktion av $n$ variabler ${x_{1},\dots ,x_{n}}$ , en produktterm där var och en av $n$ variabler dyker upp en gång (i antingen sin kompletterade eller okompletterade form) kallas en minterm . Således är en minterm ett logiskt uttryck för n variabler som endast använder komplementoperatorn och konjunktionsoperatorn .

•   Fredrick J. Hill och Gerald R. Peterson, 1974, Introduction to Switching Theory and Logical Design, andra upplagan, John Wiley & Sons, NY, ISBN 0-471-39882-9