Математическая логика, 4-ый семестр.

Гайд

• Вторая задача удобна для проверки доказательств в ИВ;
• Четвёртую задачу можно использовать для генерации доказательств, вторую - для минимизации вывода + пояснений. ;)
• Лучше сразу смотрите парсер в task4 - в первых трёх задачах я читал и одновременно парсил. Это бесполезно при небольших входных данных;