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

这等价于 A → B。为真值表中的每一行选择 ⊤ (真) 或 ⊥ (假)。