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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

Примеры[править | править вики-текст]

Примечания[править | править вики-текст]

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

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