D ∧ O
= ¬ |
W ∧ Y