Question

7. (W ∧ (~ X ∧ (Y ∧ ~ Z)))