Give a proof of ⊢ A ≡ B ≡ (A ∧ B) ∨ (¬A ∧ ¬B) Showing all steps and the names of the steps as used. Thanks!
Follow Math Help Forum on Facebook and Google+
View Tag Cloud