convert (and simplify if possible) the following sentences to conjunctive normal form (cnf). justify and how your work. a.(p -> q) -> ((q -> r) -> (p -> r) b.(p -> q) <-> (p -> q) c.(p ^ q) -> (¬p <-> q)
d.(¬q -> ¬p) -> (p -> q)