0:00
エキスパート論理等価性等価性チェック

次の式は恒真式（常に真になる式）ですか？

(A → B) ∨ (B → A)