Tristate - wanna?

[Denis Shelomovskij]

27.10.2013 4:08, Timon Gehr пишет:
> On 10/26/2013 05:42 PM, Andrei Alexandrescu wrote:
>> While messing with std.allocator I explored the type below. I ended up
>> not using it, but was surprised that implementing it was quite
>> nontrivial. Should we add it to stdlib?
>>
>> Theory: http://en.wikipedia.org/wiki/Three-state_logic
>>
>
> "The term tri-state[1] should not be confused with ternary logic
> (3-value logic)."

So this thread is about a three-valued logic with same truth tables as 
in Kleene's and Priest's logics.

See:
* http://en.wikipedia.org/wiki/Many-valued_logic
* http://en.wikipedia.org/wiki/Three-valued_logic


-- 
Денис В. Шеломовский
Denis V. Shelomovskij