Дорогие студенты,

Оценки проставлены в таблицу.

Комментарий по оценкам: одно и то же количество правильно написанных формул может соответствовать различным оценкам. Так, если человек написал правильно сложную формулу и допустил незначительные ошибки в двух других формулах, то он получает "три". Если же человек написал верно простую формулу, а в двух других продемонстрировал непонимание семантики темпоральных операторов -- он получает "два". Как-то так.

В целом -- с LTL большие проблемы. Тем, у кого задание не зачтено, крайне рекомендуется к экзамену закрыть этот пробел. Попросите у товарищей их варианты, прорешайте, сравните свои ответы с правильными. Остальным тоже рекомендуется -- не у всех свойства в заданиях были разнообразными.

С уважением, Константин Савенков.