For each these arguments, explain which rules of inference are used for each step. Show that the argument form with premises notof p. (notof q union p, (notof r union q. and conclusion notof r is valid by using rules of inference. Show that the argument form with premises notof p reversible q, q rightarrow r, notof r and conclusion p is valid by using rules of inference. Show that the argument form with premises u rightarrow r, (r intersection s) rightarrow (p union t), q rightarrow (u intersection s), notof t, q, and conclusion p is valid by using rules of inference