$$\large{\displaylines{\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)}}$$

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

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