$$\large{\displaylines{\Large {\color{#ff7800}p \lor (p \land q)} \\ \\ \underbrace{(p \land (q \lor \neg q))}_p \lor (p \land q) \\ \underbrace{(p \land q) \lor (p \land \neg q)}_p \lor (p \land q) \\ (p \land q) \lor (p \land \neg q)}}$$

Совершенная дизъюнктивная нормальная форма (СДНФ)

Это однозначная формула, имеющая вид дизъюнкции уникальных конъюнкций, в каждую из которых однократно входят все простые суждения из выражения с отрицанием или без
Используется для доказательства совпадения таблиц истинности нескольких выражений без перебора значений всех переменных