$$\large{\displaylines{\Large \color{#ff7800}p \land (p \lor q) \\ (p \land p) \lor (p \land q) \\ \\ \Large \color{#ff7800} p \lor (p \land q) \\ (p \lor p) \land (p \lor q)}}$$

Поглощение

Правила сокращения

Сокращение последовательности логических операций через поглощение:
$$p \land (p \lor q) \leftrightarrow p$$
$$p \lor (p \land q) \leftrightarrow p$$