Есть час на то чтобы решить задачу и кинуть ее решение ,чтобы я успел переписать Задача будет из разделов: формальные системы, исчисление предикатов (ИП), решение задач методами ИП.
Только положительные эмоции от сотрудничества! Все выполнено по требованиям и раньше срока. Автор откликнулся на просьбу исправить скрины несмотря на то, что ошибка была студента и мгновенно бесплатно все исправил. Спасибо за ваши труды и ваш прекрасный и неповторимый профессионализм!