$$\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$
Поглощение операций используется для упрощения вычислений в математике и программировании