$$\large{\displaylines{p \mid q \leftrightarrow \neg (p \land q) \\ \\ p \downarrow q \leftrightarrow \neg (p \lor q)}}$$
				Законы де Моргана в алгебре логики
				Правила де Моргана
				- Это правила, связывающие пары логических операций через операцию отрицания
 - $$\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)$$