WikiSort.ru - Не сортированное

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

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

Примечания

См. также

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

Ссылки

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

Это заготовка статьи по математике. Вы можете помочь проекту, дополнив её.

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