Проставить порядок выполнения логических действий. Здесь и далее буквами a, b, c заменены элементарные

Проставить порядок выполнения логических действий. Здесь и далее буквами a, b, c заменены элементарные высказывания. Для каждого из двух высказываний выяснить, является ли оно тавтологически истинным. Ответ доказать и пояснить при помощи таблиц истинности. а) ¬(а V b) ↔ (а & с V b) → b

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