Rewrite the statements so that negations appear only within predicates (so that no negation is outside a quantifier or an expression involving logical connectives) (14 pts). -Vx (D(x) → (A(x) V M(x))) 2. Prove that the following expressions are logically equivalent by applying the laws of logic (14 pts). (p/q) → (p V q) and T