三值逻辑

一种不假定排中律的逻辑结构。 可能有三个真值：真、假或未定。 存在 3072 种这样的逻辑。