$$\large{\displaylines{\Large \color{#ff7800}(p \lor q) \land (p \lor \neg q) \\ p \lor (q \land \neg q) \leftrightarrow p \lor 0 \\ \\ \Large \color{#ff7800}(p \land q) \lor (p \land \neg q) \\ p \land (q \lor \neg q) \leftrightarrow p \land 1}}$$
Склеивание
Правила сокращения
- Сокращение последовательности логических операций через склеивание:
- $$(p \lor q) \land (p \lor \neg q) \leftrightarrow p$$
- $$(p \land q) \lor (p \land \neg q) \leftrightarrow p$$