Троичная логика и двоичная логика

[mira]

Санчо, вопрос у коллеги не к типу данных (опшен, целое).

Вопрос в том - что незя! Надо сделать алгоритм, чтобы было "да" и "нет" и поэтому булева переменная.

Я математик по образованию, а не ит-шник.
Может в новых языках каких-то есть конструкции с троичной логикой и можно почитать обоснование, в каких ситуациях можно использовать троичную логику? Питон, какой-нибудь?

То, что, побарахтавшись в логике "да-нет", перешла к "не определено- да-нет", не аргумент.
Мне и самой хочется понять, когда ситуация сводится к да-нет, а когда к не определено-да-нет.
Во имя воспитания точности мышления. Человечья логика хитрая вещь, поэтому хочется не перекричать (и не убить ..ой, убила бы этих гнусных ревьюеров), а раз и на всегда разобраться.