Логические операции выполняются в следующем порядке:
– инверсия (НЕ) отдельных переменных имеет самый высокий приоритет;
– конъюнкция (И) имеет приоритет второго уровня;
– дизъюнкция (ИЛИ) имеет приоритет третьего уровня;
Операции →,←,Å, не имеют приоритета и выполняются по очереди слева направо.
Операции | и ↓ являются групповыми инверсиями и их следует понимать как скобки.
Для того чтобы не ошибиться с порядком выполнения операций применяют скобки. Если в формуле имеется несколько пар скобок, то операции в скобках выполняются в каждой паре скобок в соответствии с приоритетами, а пары скобок рассматриваются последовательно, например, слева направо.
Пример:
1 2 5 3 4 6 порядок выполнения операций
[( d) ( c)]→e.