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

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

l_{1} \land \dots \land l_{n}

,

где каждый $l_{i}$ — литерал, то есть $l_{i} = X$ или $l_{i} = \neg X$ .

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

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

$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}$ ^[1]

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

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

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

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

Логика высказываний

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

[1]