Приоритеты операций

С целью уменьшения количества скобок будем предполагать, что приоритеты унарных связок выше, чем приоритеты бинарных и располагаются в порядке убывания следующим образом:

, , , [F], [P], <F>, <P>, &, , , .

Для унарных операций взаимные приоритеты не имеют значения (и могут считаться равными). Например, А & В  С означает: (((А) & ( (В)))  С).