Конъюнктивный одночлен (элементарная конъюнкция, минтерм) — в логике высказываний конъюнкция литералов (переменных и их отрицаний):
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}}