Программа темпоральные (математические) логики

ТЗ и сроки: Написать программу на любом из языков программирования по направлению темпоральные логики. Сроки 7 мая.

Требования в приложении.

Ваши предложения, уважаемые фрилансеры.