2. 3. Prove that each of the following wffs is a tautology with the truth table. ((ay)^(31)) (a ((avB) 7) (BV)) V (a y) a (3 a) a. b. BV 2 C. d. c. f. g. h. j. Tk) (a (By)) ((a3) (a y)) (~B~a) ((~3a) 3) 3) v (3a) 3) ((a^y) (BAY)) m. n. 0. P. (a (a (a (a^y) (a^~y~ B) (a (8 (8 a))) a (33) (a (3)) ( (~B~ y)) ((a^3)^(ay)) (y^B) ((av 3) ^ (ay)) (VB) (a (8y)) (8 (a7)) (a (8^y)) ((aB) ^ (ay)) Prove that each of the wffs in Question 2 is a theorem with a formal proof, (BA~B)) ~a