扩展到 formula_1值逻辑。
值的表示符号.同二值逻辑一样，在三值逻辑中的真值可以使用各种三进制系统表示来数值表示。一些常见的例子有：本文主要阐述了一个基于 {false，unknown，true} 状态的克莱尼三值命题逻辑系统，并将一般的布尔连接词扩展到三值上下文语境中。三值逻辑也有谓词；这些可能具有与经典（二元）谓词逻辑不同的量词读数，也可能包含替代量词。
真值表.如果布尔逻辑具有 2 = 4 个单元运算符，则在三值逻辑中添加第三个状态值，则