0:00
中級真理表真理表

対偶の真理値表を完成させてください:¬B → ¬A

これを A → B と比較して、それらが同値であることを確認してください。真理値表の各行について ⊤ (真) または ⊥ (偽) を選択してください。

AB!B -> !A