Seabourn Revises Its Menu Given That Norwegian and Princess Halt

Multiple Choice

Seabourn revises its menu given that Norwegian and Princess halt tipping, unless Oceania enlarges its fleet if and only if both Costa improves its gym facilities and Regent enlarges its casinos.

A) [S ⊃ (N • P) ] ∨ [O ≡ (C • R) ]
B) [(N • P) ≡ S] ∨ [O ⊃ (C • R) ]
C) [(N • P) ⊃ S] ∨ [O ≡ (C • R) ]
D) [S ⊃ (N • P) ] ⊃ [O ≡ (C • R) ]
E) [S ⊃ (N • P) ] ≡ [O ∨ (C • R) ]