каков алгоритм проверки того, что две WFF (правильно сформированные формулы) эквивалентны или нет,...