generated at
3値論理
three-valued-logic
3VL
2値論理ならぬ3値論理
true / false / unknown という3値を持つ論理
booleanのinhabitantが3であるということ

NOT
xNOT x
truefalse
unknownunknown
falsetrue
AND
\trueunknownfalse
truetrueunknownfalse
unknownunknownunknownfalse
falsefalsefalsefalse
OR
\trueunknownfalse
truetruetruetrue
unknowntrueunknownunknown
falsetrueunknownfalse



参考
3値論理