Termin produktu

W logice logicznej termin iloczynowy jest koniunkcją literałów, gdzie każdy literał jest albo zmienną, albo jej zaprzeczeniem.

Przykłady

Przykładowe terminy dotyczące produktów obejmują:

${\ Displaystyle A \ klin B}$

${\ Displaystyle A \ klin (\ neg B) \ klin (\ neg C)}$

${\ displaystyle \ neg A}$

Pochodzenie

Terminologia wywodzi się z podobieństwa AND do mnożenia, jak w strukturze pierścieniowej pierścieni Boole'a .

Mintermy

Dla funkcji logicznej zmiennych ${$${\ displaystyle {x_ {1}, \ kropki, x_ {n}}}$ , terminu produktu, w którym każdy z $displaystyle n}$ zmiennych pojawia się raz (w formie uzupełnionej lub nieuzupełnionej) i jest nazywane mintermem . Zatem minterm jest logicznym wyrażeniem n zmiennych, które wykorzystuje tylko operator dopełnienia i koniunkcji .

•   Fredrick J. Hill i Gerald R. Peterson, 1974, Wprowadzenie do teorii przełączania i projektowania logicznego, wydanie drugie , John Wiley & Sons, NY, ISBN 0-471-39882-9