p q r ~r p->~r (p->~r)v(q) T T T F F T T T F T T T T F T F F F T F F T T T F T T F T T F T F T T T F F T F T T F F F T T T