Вычисление значений логических выражений выполняется в определенном порядке, согласно их приоритету:

 

- инверсия

 

- конъюнкция

 

- дизъюнкция

 

- импликация и эквивалентность

 

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

 

ПРИМЕР 1: А V (B → C) & D = не(A)

 

Порядок выполнения:

 

Не(А) - инверсия

 

В → С - импликация

 

(В → С) & D - конъюнкция

 

А V (B → C) & D - дизъюнкция

 

А V (B → C) & D = не(A)- эквивалентность