Maksterm (maxterm) – term składający się z literałów połączonych logicznym symbolem alternatywy, który dla dokładnie jednej kombinacji wejść danej funkcji przyjmuje wartość 0. Maksterm zawiera wszystkie literały danej funkcji.
Możliwe makstermy Do każdej funkcji boolowskiej z literałami (zmiennymi boolowskimi) istnieje maksymalnie makstermów.
W przypadku trzech zmiennych makstermy brzmią następująco, przy czym to literał zanegowany:
Indeks x3x2x1 Maksterm 0 0 0 0 1 0 0 1 2 0 1 0 3 0 1 1 4 1 0 0 5 1 0 1 6 1 1 0 7 1 1 1
Mintermy vs. makstermy Każdą funkcję logiczną można zapisać jako sumę mintermów. Mintermy są wtedy ujęte jako człony dysjunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:
Odpowiednio funkcja może też zostać przedstawiona jako iloczyn makstermów, gdzie makstermy są ujęte jako człony koniunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:
Indeks x3x2x1 Wartość funkcji Minterm Maksterm 0 0 0 0 1 1 0 0 1 0 2 0 1 0 0 3 0 1 1 1 4 1 0 0 1 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1
Notacja Oprócz powyżej przedstawionej koniunkcyjnej postaci normalnej makstermy można zanotować również jako listę indeksów konkretnej funkcji, dla których przyjmuje ona wartość 0:
Zobacz też implikant funkcji boolowskiej minterm
Kategoria:Logika matematyczna