$$\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$$
- Любая логическая формула может быть приведена к ДНФ с помощью преобразований
- Одна и та же логическая формула может иметь несколько различных ДНФ