Questão 3204400

{ [ ( A ∧ ~ B ) → ( B → A) ] V ~B } V (A ∧ B )

{ [ ( A ∧ B ) → (~ B V A) ] V~ B } ↔ (A ∧ B )

{ [ (A V B ) V ( ~ B V A) ] V ~B } ↔ (A ∧ B )

{ B → [ ( ~ A ∧ ~ B ) → ( B →A) ] } ↔ (A ∧ B )

{ [ ( ~ A ∧ ~ B ) → ( B →A) ] V ~ B } → (A ∧ B )