以前書いた二値論理を三値論理に拡張します。 二値論理の場合は、演算子は2^(2^2) = 16種類で済みましたが、 三値論理の場合は、演算子は3^(3^3) = 19683種類もあるので全てを書くと大変な量になるので対称性の高い物だけ。 三値論理については体系がいくつ…