Write the following statement forms without using the symbols -> or <->:

Question

1) (p -> q) <-> (q -> r)

2) (p -> (q ->)) <-> ((p ^ q) -> r)

Answer 1

1) (p->q) -> (q->r) or (q->r)->(p->q) =

~(p->q) v (q->r) or ~(q->r) v (p->q) =

~(~p v q) v (~q v r) or ~(~q v r) v (~p v q) =

(p and q) v (~q v r) or (q and ~r) v (~p v q)

do the second one hte same way