Диз'юнкти́вний одночле́н (максте́рм) від змінних — диз'юнкція цих змінних абоТут «або» має невиключний сенс, тобто в диз'юнктивний одночлен можуть входити одночасно змінна і її заперечення. їх заперечень.
Макстерм дорівнює 0 тільки при єдиному наборі аргументів. Якщо макстерм містить одночасно змінну і її заперечення, то він завжди дорівнює 1.
Приклади
Кон'юнкция асоціативна, тому всередині одночленів дужки не пишуться.
Індексація макстермів Кожному макстерму присвоюється індекс, який заснований на протилежному двійковому коді мінтерма. Макстерму присвоюється значення 0 до кінцевої форми і 1 до доповненої форми . Наприклад, ми присвоюємо індекс 6 макстерму (110) і він позначається як M6. Аналогічно M0 від трьох змінних (000) і M7 є (111).
Див. також Булева алгебра Мінтерм
Примітки