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

${\displaystyle l_{1}\land \ldots \land l_{n}}$ ,

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

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

Примеры

• ${\displaystyle X_{1}\land X_{2}}$
• ${\displaystyle X_{1}\land \neg X_{2}\land X_{3}}$
• ${\displaystyle X_{3}\land X_{1}\land \neg X_{4}\land \neg X_{1}\land \neg X_{3}\land X_{2}}$

Примечания

См. также

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

Ссылки

Для улучшения этой статьи желательно : Найти и оформить в виде сносок ссылки на независимые авторитетные источники , подтверждающие написанное . После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.