$$\large{\begin{gather*}\Large {\color{#ff7800}p \land (p \lor q)} \\ \\ \underbrace{(p \lor (q \land \neg q))}_p \land (p \lor q) \\ \underbrace{(p \lor q) \land (p \lor \neg q)}_p \land (p \lor q) \\ (p \lor q) \land (p \lor \neg q)\end{gather*}}$$
Совершенная конъюнктивная нормальная форма в алгебре логики
CКНФ, «Произведение уникальных сумм»
- Это однозначная формула вида конъюнкции уникальных дизъюнкций, в каждую из которых однократно входят все простые суждения из выражения с отрицанием или без
- Используется для доказательства совпадения таблиц истинности нескольких выражений без перебора значений всех переменных
