$$\large{\begin{gather*}p \mid q \leftrightarrow \neg (p \land q) \\ \\ p \downarrow q \leftrightarrow \neg (p \lor q)\end{gather*}}$$
Законы де Моргана в алгебре логики
Правила де Моргана
- Это правила, связывающие пары логических операций через операцию отрицания
- $$\neg (p \land q) \leftrightarrow \neg p \lor \neg q$$
- $$\neg (p \lor q) \leftrightarrow \neg p \land \neg q$$
- Конъюнкция может быть выражена через дизъюнкцию и наоборот
- $$p \land q \leftrightarrow \neg (\neg p \lor \neg q)$$
- $$p \lor q \leftrightarrow \neg (\neg p \land \neg q)$$
