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

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

Конъюнкти́вный одночле́н (элементарная конъюнкция, минте́рм) — в логике высказываний конъюнкция литералов (переменных и их отрицаний):

,

где каждый  — литерал, то есть или .

Легко видеть, что минтерм может принимать значение «Истина» при единственном из всех возможных наборов значений переменных, входящих в в него. Если в одночлене одновременно содержатся переменная и её отрицание, то он всегда равен лжи.

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

  • [1]

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

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

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

Ссылки[править | править вики-текст]