Select the Best Translation into Predicate Logic, Using the Following $\lor$

Multiple Choice

select the best translation into predicate logic, using the following translation key:
b: Bhavin
c: Chloe
m: Megha
n: Nietzsche
p: Plato
Ax: x is an altruist
Jx: x is joyful
Px: x is a philosopher
Rx: x is Russian
Tx: x is thoughtful
Bxy: x is a brother of y
Mxy: x mocks y
Rxy: x is richer than y
Sxy: x is smarter than y
-Everything is joyful, except Megha and Bhavin.

A) ~Jb • ~Jm • (∀x) (x≠m • x≠b • Jx)
B) (∀x) [Jx ≡ (x≠m $\lor$ x≠b) ]
C) (∀x) (Jx $\lor$ x=m $\lor$ x=b)
D) ~Jb • ~Jm • (∀x) [Jx ⊃ (x≠b • x≠m) ]
E) ∼Jm • ∼Jb • (∀x) [(x≠m • x≠b) ⊃ Jx]