昨日話題にした4値の論理ですけど、短絡評価をしないことにして論理AND（∧）の真偽表を書いてみると： ∧ true false indef ⊥ true true false indef ⊥ false false false false ⊥ indef indef false indef ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ この演算に、別な解釈を与えてみます。…