完成表达式的真值表：A ∨ ¬A

这是排中律：某个命题要么为真，要么不为真。为真值表中的每一行选择 ⊤ (真) 或 ⊥ (假)。