Равносильность формул. Легко и просто.

Алфавит логики высказываний состоит из трех групп символов: высказывательные переменные a, b, c, d, …, x, y, z; логические символы,, →, ↔, −; символы скобок ( , ). Словом в алфавите называется произвольная конечная последовательность символов. Задавайте вопросы в комментарии. Хорошего дня :-)