truth table for p, q, r, ~(pvq), and ~(rv~(pvq))