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

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

Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то он всегда равен 0.

Примеры[править]

$X_1\land X_2$
$X_1\land \neg X_2 \land X_3$
$X_3\land X_1 \land \neg X_4 \land \neg X_1 \land \neg X_3 \land X_2$ ^[2]

Примечания[править]

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

См. также[править]

[1] Здесь «или» имеет неисключающий смысл, то есть в конъюнктивный одночлен могут входить одновременно переменная и её отрицание.

[2] Конъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.

[1]

[2]

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

Примеры[править]

Примечания[править]

См. также[править]

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках