三值邏輯

一種不假定排中律的邏輯結構。 可能有三個真值：真、假或未定。 存在 3072 種這樣的邏輯。