Yep  yep, messed up on my discrete math. 

```X ^ (Y ^ ~Z)``` reversed should be
```~X v (~Y v Z)```