Вообще, бинарная формальная логика это отстой. Всегда есть третее состояние объекта: "неизвестно". Все современные языки программирования поддерживают тройную логику на уровне синтаксиса. Это о чём говорит пытливому уму. Состояние объекта, вполне реального, из физического окружающего мира определяется вовсе не его фактическим состояние. И не только тем, что мы о нём знаем. А даже тем, что мы о нём не знаем. Идеализм какой-то.