完成表达式 ¬(A → B) 的真值表

为真值表中的每一行选择 ⊤ (真) 或 ⊥ (假)。