Проставить порядок выполнения логических действий

Приоритет логических союзов: (от высшего к низшему): ¬, , V, →.
На этом основании сделаем дополнительные скобки:
(¬(а V b)) ↔ (((а & с) V b) → b).
Таблица истинности:
Порядок действий → 2 1 6 3 4 5
а b с ¬ a V b ↔ а & с V b → b
и и и л и л и л и
и и л л и л л и и
и л и л и и и и л
и л л л и л л л и
л и и л и л л и и
л и л л и л л и и
л л и и л и л л и
л л л и л и л л и
Данная формула ни в целом, ни в частях отдельных высказываний не принимает все значении истинности