Минтерм

Конъюнкти́вный одночле́н (минте́рм) от переменных $\textstyle X_1, X_2, ..., X_n \in \{0,1\}$ — конъюнкция этих переменных или^[1] их отрицаний.

Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то он всегда равен 0.

Примеры

• $X_1\land X_2$
• $X_1\land \neg X_2 \land X_3$
• $X_3\land X_1 \land \neg X_4 \land \neg X_1 \land \neg X_3 \land X_2$^[2]

Примечания

1. ↑ Здесь «или» имеет неисключающий смысл, то есть в конъюнктивный одночлен могут входить одновременно переменная и её отрицание.
2. ↑ Конъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.

См. также

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