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

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

$l_{1}\land \ldots \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}$

См. также

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

Ссылки

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