$$\large{\displaylines{\Large {\color{#ff7800}(p \to q) \land r} \\ \\
\begin{array}{r|l}
1 & (\neg p \lor q) \land r \\
4 & (\neg p \land r) \lor (q \land r)
\end{array}}}$$
Алгоритм получения ДНФ
Как получить ДНФ?
- Выразить все логические операции через конъюнкцию, дизъюнкцию и отрицание
- $$p \rightarrow q \leftrightarrow \neg p \vee q$$
- $$(p \leftrightarrow q) \leftrightarrow (\neg p \vee q) \wedge (p \vee \neg q)$$
- Раскрыть скобки в выражениях с отрицанием
- $$\neg (p \vee q) \leftrightarrow \neg p \wedge \neg q$$
- $$\neg (p \wedge q) \leftrightarrow \neg p \vee \neg q$$
- Избавиться от знаков двойного отрицания
- $$\neg \neg p \leftrightarrow p$$
- Применить к конъюнкциям закон дистрибутивности и правила поглощения
- $$p \land (q \lor r) \leftrightarrow (p \land q) \lor (p \land r)$$