$$\large{\displaylines{p \ {\color{#ff7800}\circ} \ (q \ {\color{#ff7800}\diamond} \ r) \leftrightarrow (p \ {\color{#ff7800}\circ} \ q) \ {\color{#ff7800}\diamond} \ (p \ {\color{#ff7800}\circ} \ r) \\ \\ {\color{#ff7800}\circ \ \diamond} \ \in \{\land \ \lor, \lor \ \land, \land \ \oplus \}}}$$

Дистрибутивность логических операций

Распределительность

Дистрибутивность конъюнкции относительно дизъюнкции:
$$p \land (q \lor r) \leftrightarrow (p \land q) \lor (p \land r)$$
Дистрибутивность дизъюнкции относительно конъюнкции:
$$p \lor (q \land r) \leftrightarrow (p \lor q) \land (p \lor r)$$
Дистрибутивность конъюнкции относительно операции исключающее «ИЛИ»:
$$p \land (q \oplus r) \leftrightarrow (p \land q) \oplus (p \land r)$$