是一个密封的盒子，其中包含要么一个明确的TRUE值要么一个明确的FALSE值。不能随时及时获得任何特定UNKNOWN状态秘密的表示TRUE还是FALSE的知识。但是，特定逻辑运算可以生成一个明确的结果，即使它们涉及到了至少一个UNKNOWN操作数（参看捷径求值）。例如，因为TRUE ∨ TRUE等于TRUE，而TRUE ∨ FALSE等于TRUE，你同样可以推出TRUE ∨ UNKNOWN等于TRUE。在这个例子中，因为两个二价状态都可以被UNKNOWN状态暗含，但两个状态都生成相同的结果，在所有这三种情况