$$\large{\displaylines{\Large {\color{#ff7800}\neg p \land (q \lor r)} \\ \\ {\overline{p}} \land (q \lor r) \\ {\overline{p}} \cdot (q+r)}}$$

Конъюнктивная нормальная форма

КНФ, «произведение сумм»

Это формула, имеющая вид конъюнкции дизъюнкций простых суждений из выражения с отрицанием или без
$$(p_1 \lor p_2 \lor \ldots) \land (q_1 \lor q_2 \lor \ldots) \land \ldots$$
Любая логическая формула может быть приведена к КНФ с помощью преобразований
Одна и та же логическая формула может иметь несколько различных КНФ