Макстерм

Шаблон:Без джерел Диз'юнкти́вний одночле́н (максте́рм) від змінних $X_1,X_2,...,X_n\in \{0,1\}$ — диз'юнкція цих змінних або їх заперечень.

Макстерм дорівнює 0 тільки при єдиному наборі аргументів. Якщо макстерм містить одночасно змінну і її заперечення, то він завжди дорівнює 1.

Приклади

• $\mathrm{\neg }{X}_1\vee X_2\vee X_3$
• $X_2\vee X_2$
• $\mathrm{\neg }{X}_2\vee X_1\vee \mathrm{\neg }{X}_4\vee \mathrm{\neg }{X}_1\vee X_4\vee \mathrm{\neg }{X}_2$

Індексація макстермів

Кожному макстерму присвоюється індекс, який заснований на протилежному двійковому коді мінтерма. Макстерму присвоюється значення 0 до кінцевої форми $(x_i)$ і 1 до доповненної форми $(x{\text{'}}_i)$. Наприклад, ми присвоюємо індекс 6 макстерму $a^{\prime }+b^{\prime }+c$ (110) і він позначається як M₆. Аналогічно M₀ від трьох змінних $a+b+c$ (000) і M₇ є $a^{\prime }+b^{\prime }+c^{\prime }$ (111).

Див. також

• Булева алгебра
• Мінтерм