8. using equivalency laws, show that-pv p ^ q)(p ^-q). Ch.1 (Part ID - Section 1.4 9. Suppose the variable x represents students, M(x): x is a CS major F(x): x is a full-time student, S(x): x is a senior, P(x, y): x passed y, T(x, y): x is taking y. Translate the following predicate logic into English statement: a) M(Peter) b) -y T(Julie, y). c) 3x (M(x) A-S(x)) d)3x ((M(x) A S(x))T(x, CSCI-235)). e) Vx (M(x) P(x, Calculus)) 10. Suppose the variable x represents people, and G(x): x is a seasonal game S(x): x is sold out. Translate the following English statements into logic using the given