Задача №1701. Модель Крипке

Сдать: для сдачи задач необходимо войти в систему