nicka
14.03.2013 13:05 notebook
расширенная логика:
кроме 'истинно' и 'ложно' добавляем 'неопределенно' (еще не проверили) и 'бессмысленно' (в принципе непроверяемо)