Математическая логика, нужны ответы!

1) Отрицание записано как бинарная операция, но оно унарное. Не формула.

2) Формула тупо равна переменной B, но она валидна.

3) Четыре отрицания A равны A. Избыточные действия, но всё же это формула.

4) Открыто две скобки, закрыта одна. Не формула, просто набор знаков.

5) Импликация является бинарной операцией, а тут после стрелки нет операнда (следствия). Это не формула.

6) Ничто не мешает нам применить дизъюнкцию v к двум одинаковым операндам.
Операция избыточная, но это валидная формула.

7) Обычная конъюнкция, всё хорошо.

8) Здесь перед импликацией идет отрицание без указания операнда-причины. Не формула.