a)Prove that (a A (b a)) b is a tautology. b)Are the statements A-(BVC) and...

 

Transcribed Image Text:

a)Prove that (a A (b → a)) →b is a tautology. b)Are the statements A-(BVC) and (A-B)V(A-C) logically equivalent? Use logical equivalence method to prove it. a)Prove that (a A (b → a)) →b is a tautology. b)Are the statements A-(BVC) and (A-B)V(A-C) logically equivalent? Use logical equivalence method to prove it.