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

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

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

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