3値論理

three-valued-logic

2値論理ならぬ3値論理

table:NOT

x NOT x

true false

unknown unknown

false true

table:AND

\ true unknown false

true true unknown false

unknown unknown unknown false

false false false false

table:OR

\ true unknown false

true true true true

unknown true unknown unknown

false true unknown false

参考