$$\large{\displaylines{\Large (p \ {\color{#ff7800}\circ} \ q) \ {\color{#ff7800}\circ} \ r \leftrightarrow p \ {\color{#ff7800}\circ} \ (q \ {\color{#ff7800}\circ} \ r) \\ \\ {\color{#ff7800}\circ} \in \{\land, \lor, \oplus \}}}$$
Ассоциативность логических операций
Сочетательность логических операций
- Конъюнкция ассоциативна
- $$(p \land q) \land r \leftrightarrow p \land (q \land r)$$
- Дизъюнкция ассоциативна
- $$(p \lor q) \lor r \leftrightarrow p \lor (q \lor r)$$
- Эквиваленция ассоциативна
- $$((p \leftrightarrow q) \leftrightarrow r) \leftrightarrow (p \leftrightarrow (q \leftrightarrow r))$$
- Исключающее «ИЛИ» ассоциативно
- $$(p \oplus q) \oplus r \leftrightarrow p \oplus (q \oplus r)$$