truth table (p implies not q) and r