2 задачи по мат. логике

Работу нужно сделать до конца текущего дня, в любом удобном виде (главное чтобы было читаемо, т.к. я буду переписывать в тетрадь). Я прикрепил файл, там одно выражение нужно решить двумя способами (Методом редукции и резолюции - примеры и теорию добавил скринами), и второе выражение одним способом (методом Резолюции)

При выполнении решения шаги объяснять, никаких неявных сокращений не делать