по-моему у вас с логикой как раз проблема. я её на 5 в своё время сдал ;) если !А=В, то не !В=А по вашей странной логике получается, что ни А, ни В - не утверждения. а вообще-то оба они утверждения. а !А и !В - отрицания.
Впрочем, насчёт "на 5"... Сдавший на "5" вряд ли перепутал бы "высказывание" и "утверждение".