Нет в троичной логике никакого неопределённого состояния, вход и выход имеют три возможных состояния "0"-"1"-"2" или как товарищ трактует "-1"-"0"-"+1", где здесь неопределённость, неопределённость это так ТС трактует(называет) состояние "0"(одно из состояний), насколько я понимаю!