Сегодня в 11:40, у меня начнеться КР по ДМ по теме логика предикатов и высказываний. 1) ЗАДАЧУ РЕШИТЬ С ПОМОЩЬЮ КОНЪЮНКЦИИ ПОСЫЛОК 2) ЗАДАЧУ РЕШИТЬ МЕТОДОМ РЕЗОЛЮЦИЙ 3) ЗАДАЧУ РЕШИТЬ С ПОМОЩЬЮ ЭКВИВАЛЕНТНЫХ ПРЕОБРАЗОВАНИЙ! 4) ПРИВЕСТИ ФОРМУЛУ СНАЧАЛА К ПНФ, ПОТОМ К ССФ 5) ЗАДАЧУ РЕШИТЬ МЕТОДОМ РЕЗОЛЮЦИЙ