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 = {1, 2, 3, ..., 28, 29, 30}
N = {1, 2, 3, ..., 28, 29, 30}
E = {2, 4, 6, ..., 28, 30}
O = {1, 3, 5, ..., 27, 29}
P = (2, 3, 5, 7, 11, 13, 17, 19, 23, 29}
a = 1
b = 2
c = 28
-Given the customary truth tables, which of the following theories is modeled by the above interpretation?

A) (∀x) [Nx ⊃ (Ox ≡ ∼Ex) ] (∀x) [(Nx • Px) ⊃ (Ox $\lor$ Ex) ]
∼(∀x) [(Nx • Px) ⊃ Ox]
B) (∀x) [Nx ⊃ (Ox ≡ ∼Ex) ] (∀x) [(Nx • Px) ⊃ (Ox $\lor$ Ex) ] (∀x) [(Nx • Px) ⊃ ∼Ox]
C) (∀x) [Nx ⊃ (Ox ≡ Ex) ] (∀x) [(Nx • Px) ⊃ (Ox $\lor$ Ex) ] (∀x) [(Nx • ∼Px) ⊃ Ox]
D) (∀x) [Nx ⊃ (Ox ≡ Px) ]
(∀x) [(Nx • Px) ⊃ (Ox $\lor$ Ex) ]
∼(∀x) [(Nx • Px) ⊃ Ox]
E) (∀x) [Nx ⊃ (Ox ≡ ∼Px) ] (∀x) [(Nx • Px) ⊃ (Ox $\lor$ Ex) ] (∀x) ∼[(Nx • Px) ⊃ Ox]