1) The Resolution Inference Rule states that if (PVQ) and (PVR), we may conclude (QVR). Show that (PVQ)^(-PVR) + (QVR) (1) is a tautology, i.e., always true. Try to do it without a truth table - could you use any other rules of inference