Discrete Mathemeatics

(please write the answer on the computer or in a readable handwriting.)

For primitive statements p, q, a) verify that p [q (p ^ q] is a tautology. b) verify that (p v q) [q q] is a tautology by using the result from part (a) along with the substitution rules and the laws of logic. c) is(p v q) [q p ^ q)] a tautology