Матеріал з Вікіпедії — вільної енциклопедії.
Диз'юнкти́вний одночле́н (максте́рм) від змінних
X
1
,
X
2
,
.
.
.
,
X
n
∈
{
0
,
1
}
{\displaystyle \textstyle X_{1},X_{2},...,X_{n}\in \{0,1\}}
диз'юнкція цих змінних або[ 1] заперечень .
Макстерм дорівнює 0 тільки при єдиному наборі аргументів. Якщо макстерм містить одночасно змінну і її заперечення, то він завжди дорівнює 1.
¬
X
1
∨
X
2
∨
X
3
{\displaystyle \neg X_{1}\lor X_{2}\lor X_{3}}
X
2
∨
X
2
{\displaystyle X_{2}\lor X_{2}}
¬
X
2
∨
X
1
∨
¬
X
4
∨
¬
X
1
∨
X
4
∨
¬
X
2
{\displaystyle \neg X_{2}\lor X_{1}\lor \neg X_{4}\lor \neg X_{1}\lor X_{4}\lor \neg X_{2}}
[ 2] Кожному макстерму присвоюється індекс, який заснований на протилежному двійковому коді мінтерма . Макстерму присвоюється значення 0 до кінцевої форми
(
x
i
)
{\displaystyle (x_{i})}
(
x
i
′
)
{\displaystyle (x'_{i})}
a
′
+
b
′
+
c
{\displaystyle a'+b'+c}
M 6 . Аналогічно M 0 від трьох змінних
a
+
b
+
c
{\displaystyle a+b+c}
M 7 є
a
′
+
b
′
+
c
′
{\displaystyle a'+b'+c'}
↑ Тут «або» має невиключний сенс, тобто в диз'юнктивний одночлен можуть входити одночасно змінна і її заперечення.
↑ Кон'юнкция асоціативна, тому всередині одночленів дужки не пишуться.
