Главная
Новости
Строительство
Ремонт
Дизайн и интерьер




21.09.2021


21.09.2021


19.09.2021


19.09.2021


18.09.2021





Яндекс.Метрика





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

08.03.2021

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

l 1 ∧ … ∧ l n {displaystyle l_{1}land ldots land l_{n}} ,

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

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

Примеры

  • X 1 ∧ X 2 {displaystyle X_{1}land X_{2}}
  • X 1 ∧ ¬ X 2 ∧ X 3 {displaystyle X_{1}land eg X_{2}land X_{3}}
  • X 3 ∧ X 1 ∧ ¬ X 4 ∧ ¬ X 1 ∧ ¬ X 3 ∧ X 2 {displaystyle X_{3}land X_{1}land eg X_{4}land eg X_{1}land eg X_{3}land X_{2}}