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

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

$l_1\wedge \dots \wedge l_n$,

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

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

Примеры

• $X_1\wedge X_2$
• $X_1\wedge \mathrm{\neg }{X}_2\wedge X_3$
• $X_3\wedge X_1\wedge \mathrm{\neg }{X}_4\wedge \mathrm{\neg }{X}_1\wedge \mathrm{\neg }{X}_3\wedge X_2$

См. также

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

Ссылки

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