Доказать в исчислении высказываний (буквы обозначают произвольные формлы). К сожалению я не знаю,как называется метод, которым надо решить, у меня есть только формулы которрые можно использовать.
Очень нравится работать с этим автором. Работа отвечает всем требованиям, все необходимые доработки сделаны в оптимальные сроки. Автор очень ответственен и профессионально относится к работе. Спасибо большое за сотрудничество! Нельзя вас не рекомендовать :)