。在这种代数中，∧和∨算子对应于集合的交集和并集，并且指派给公式"A"→"B"的值是 ("A" ∪ B)，它是B的值和A的值的补集的并集的内部。底元素是ø，顶元素是整个平面"R"。¬"A"定义为"A"→ø，所以指派给它的值是"A"，这是"A"的值的补集的内部。通过这些指派，直觉上有效的公式正好就是被指派为整个平面的值的公式。例如，公式¬("A" ∧ ¬"A")是有效的，因为不管为公式"A"选择什么集合"X"作为值，¬("A" ∧ ¬"A")的值总是被证实为整个平面：一个拓扑学定理告诉我们"X"°是"