1) Формализовать представленные рассуждения в виде формул алгебры логики 2) Для формализованного рассуждения доказат логическое следствие заключения из посылок 3) Доказать справедливость рассуждения методом резолюци Часовой пояс UTC + Пример решения пришлю исполнителю
Отличные впечатления от сотрудничества! Не только ответил на все доп. вопросы, но и дал свои комментарии по ходу выполнения, нашел и исправил ошибки и недочеты Конечно, надеюсь на дальнейшее сотрудничество)