Select two clauses below that can be resolved together to obtain (x V) 1 (x v - zvy) (y V -z) O xv -y V) Olx v z) Consider an argument with three premises: p V 9, -q, and p- q, and a conclusion p. Which formula below is a contradiction if and only if this argument is valid? O top v g)A (-9) A (p = a) O-(-p vava v - (p - a) OG-p va)^(-a) ^ (p - a)- p. O(-p v g)A (-a) ^ (p - a) ^ (-p) O cop v a) ^ (-a) ^ (p - a) Ap O(-p v a) A (-a) ^ (D - 9)-(-p)