Відкрити головне меню

Диз'юнкти́вний одночле́н (максте́рм) від змінних  — диз'юнкція цих змінних або[1] їх заперечень.

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

Зміст

ПрикладиРедагувати

  •  
  •  
  •  [2]

Індексація макстермівРедагувати

Кожному макстерму присвоюється індекс, який заснований на протилежному двійковому коді мінтерма. Макстерму присвоюється значення 0 до кінцевої форми   і 1 до доповненної форми  . Наприклад, ми присвоюємо індекс 6 макстерму   (110) і він позначається як M6. Аналогічно M0 від трьох змінних   (000) і M7 є   (111).

ПриміткиРедагувати

  1. Тут «або» має невиключний сенс, тобто в диз'юнктивний одночлен можуть входити одночасно змінна і її заперечення.
  2. Кон'юнкция асоціативна, тому всередині одночленів дужки не пишуться.

Див.такожРедагувати