Русская Википедия:Конъюнктивный одночлен

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

<math>l_1 \land \ldots \land l_n</math>,

где каждый <math>l_i</math> — литерал, то есть <math>l_i=X</math> или <math>l_i=\neg X</math>.

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

Примеры

  • <math>X_1\land X_2</math>
  • <math>X_1\land \neg X_2 \land X_3</math>
  • <math>X_3\land X_1 \land \neg X_4 \land \neg X_1 \land \neg X_3 \land X_2</math>[1]

Примечания

Шаблон:Примечания

См. также

Ссылки

Шаблон:Math-stub Шаблон:Rq

  1. Конъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.