Дизъюнктивный одночлен

Дизъюнкти́вный одночле́н (максте́рм) от переменных $\textstyle X_1, X_2, ..., X_n \in \{0,1\}$ — дизъюнкция этих переменных или^[1] их отрицаний.

Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1.

Примеры

• $\neg X_1\lor X_2\lor X_3$
• $X_2\lor X_2$
• $\neg X_2\lor X_1 \lor \neg X_4 \lor \neg X_1 \lor X_4 \lor \neg X_2$^[2]

Примечания

1. ↑ Здесь «или» имеет неисключающий смысл, то есть в дизъюнктивный одночлен могут входить одновременно переменная и её отрицание.
2. ↑ Конъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.

См. также

• Конъюнктивный одночлен
• Совершенный одночлен
• Дизъюнктивная нормальная форма
• Булева алгебра
• Алгебра логики

Для улучшения этой статьи желательно?: Проставить интервики в рамках проекта Интервики. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.