For Each of the Following Sentences, Select the Best Translation $\lor$

Multiple Choice

For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-If Tranh takes a sabbatical then neither she nor Minh will feel overworked.

A) St ⊃ (∼Ot $\lor$ Om)
B) St ⊃ ∼(Ot $\lor$ Om)
C) St ⊃ ∼(Ot $\lor$ ∼Om)
D) St ⊃ (Ot $\lor$ Om)
E) St ⊃ ∼(∼Ot $\lor$ Om)