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

Сделаем заключение в скобки, согласно правилам о приоритете логических связок (¬, , V, ≠, →, ↔): (¬а) ↔ ((¬с & (b V с)) → b).
Порядок действий→ 4 2 1 3
а b с ¬а ¬с ¬а ↔ ¬с & (b V с) → b
1 1 1 0 0 0 0 1 1
1 1 0 0 1 0 1 1 1
1 0 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 1 1
0 1 0 1 1 1 1 1 1
0 0 1 1 0 1 0 1 1
0 0 0 1 1 1 0 0 1
Высказывание «¬с & (b V с) → b» – тавтологически истинное, поскольку принимает все значения истинности (3)