(i) The truth table for the statement (p→p) → (p→-p) is:

p(p→p)(p→-p)(p→p) → (p→-p)
TTFF
FTTT

(ii) The truth table for the statement (pv-q) → -p is:

pq(pv-q)-(pv-q)(pv-q) → -p
TTTFF
TFTFF
FTTFT
FFFTT

(iii) The truth table for the statement p↔ (-pv-q) is:

pq-q-p-p v -qp ↔ (-p v -q)
TTFFFF
TFTFTT
FTFTTT
FFTTTF
JOIN OUR NEWSLETTER
And get notified everytime we publish a new blog post.