Consider the Following Domain, Assignment of Objects in the Domain $\lor$

Multiple Choice

consider the following domain, assignment of objects in the domain, and assignments sets to predicates.
Domain = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune, Pluto}
a = Mercury b = Jupiter c = Saturn d = Pluto
Mx = {Mercury, Mars}
Px = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}
Cxy = {, , , , , , , , , ,
, , , , , , , , , , , , , , , , , , , , , , , , , }
-Given the customary truth tables, which of the following theories is modeled by the above interpretation?

A) Ma • ~Mc
(∃x) Cxc
∼(∃x) (∼Cxc • Mx)
B) Ma • Mc (∃x) Ccx (∃x) (~Cxc • Mx)
C) ~(Ma • Mc)
(∃x) Ccx
~(∃x) (Cxc • Mx)
D) ~(Ma $\lor$ Mc) (∃x) Ccx
~(∃x) (Ccx • Mx)
E) Ma ≡ ~Mc
(∃x) Cax
~(∃x) (Cxc • ~Mx)