сегодня праздник у девчат

[juan_gandhi]

Закончил свою логику. (Ну там тесты еще всю ночь побегут, но это фигня, мираж.)

Comments

[juan_gandhi]

Good point!

Я все дохожу до мысли, что как только у нас появляется логика предикатов на домене, где переменные не совсем независимы, то логика уже бац - и не булева. Но надо это как-то доформализовать.

Время - частный случай такого домена.