$$\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$$