Construct truth tables for the following wffs. note any tautologies or contradictions.
a. a -> (b -> a) b. a /\ b < -> b' v a' c. (a v b') /\ (a /\ b)' d. [(a v b) /\ c'] -> a' v c e. a' -> (b v c')