12. Порядок действий в сложных логических выражениях.

Действия выполняют в таком порядке:

1. Действия в скобках — сначала внутренние.
2. Инверсия (¬).
3. Конъюнкция (∧).
4. Дизъюнкция (∨).
5. Импликация (→).
6. Эквивалентность (↔).

Операции одинакового приоритета выполняют по правилам записи и с учётом скобок. Скобки позволяют явно задать порядок.