Let P(x) and Q(x) be predicates defined on the same domain D. For each pair of statement forms below, explain whether or not they are logically equivalent. If not, why not? If they are equivalent, explain why. (a) Is Forall x elementof D, (P(x) Lambda Q(x)) equivalent to (Forall x elementof D, P(x)) Lambda (Forall x elementof D, Q(x))? (b) Is exist x elementof D, (P(x) Lambda Q(x)) equivalent to (exist x elementof D, P(x)) Lambda (exist x elementof D, Q(x))? (c) Is Forall x elementof D, (P(x) Q(x)) equivalent to (Forall x elementof D, P(x)) (Forall x elementof D, Q(x))? (d) Is exist x elementof D, (P(x) Q(x)) equivalent to (exist x elementof D, P(x)) (Forall x elementof D, Q(x))