$$\large{\displaylines{\Large p \ {\color{#ff7800}\circ} \ q \leftrightarrow q \ {\color{#ff7800}\circ} \ p \\ \\ {\color{#ff7800}\circ} \in \{\land, \lor, \oplus, \mid, \downarrow \}}}$$

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

Переместительность логических операций

Конъюнкция коммутативна
$$p \land q \leftrightarrow q \land p$$
Дизъюнкция коммутативна
$$p \lor q \leftrightarrow q \lor p$$
Исключающее «ИЛИ» коммутативно
$$p \oplus q \leftrightarrow q \oplus p$$
Логическое отрицание конъюнкции коммутативно
$$p \ | \ q \leftrightarrow q \ | \ p$$
Логическое отрицание дизъюнкции коммутативно
$$p \downarrow q \leftrightarrow q \downarrow p$$