Construct a Model for Each of the Given Theories in the Following

Essay

construct a model for each of the given theories in the following domain by assigning members of the domain to the constants used in the theory and sets of members of the domain to the predicates used in the theory.
Domain = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}
-(∃x)[Ax • (Bx • ∼Cx)]
(∃x)[Ax • (Cx • ∼Bx)]
(∀x)(Bx ≡ ∼Cx)