Совершенный одночлен

Соверше́нный одночле́н — конъюнктивный или дизъюнктивный одночлен, в котором от каждой пары $\textstyle X_i, \neg X_i\,(i=1,2, ..., n)$ имеется только один представитель $\textstyle ( X_i$ или $\textstyle \neg X_i )$

Примеры

• $X_1\land \neg X_2 \land X_3 \land X_4$ — совершенный конъюнктивный одночлен
• $\neg X_1\lor X_2 \lor \neg X_3$ — совершенный дизъюнктивный одночлен

См. также

• Конъюнктивная нормальная форма
• Дизъюнктивная нормальная форма
• Алгебра логики

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