Jippie!

$\eqalign{ & \,\,\,\,\,\,\,P\,\,\,\,\,\,\,\,Q\,\,\,\,\,\,\,\,\,\,P \Rightarrow Q \cr & \overline {\,\,\,\,\,\,\,W\,\,\,\,\,\,W\,\,\,\,\,\,\,\,\,\,\,\,\,\,W\,\,\,\,\,\,\,\,\,} \,\, \cr & \,\,\,\,\,\,\,W\,\,\,\,\,\,O\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,O\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \cr & \,\,\,\,\,\,\,O\,\,\,\,\,\,\,W\,\,\,\,\,\,\,\,\,\,\,\,\,\,W \cr & \underline {\,\,\,\,\,\,\,O\,\,\,\,\,\,\,O\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,W\,\,\,\,\,\,\,\,\,} \cr & \neg \left( {P \Rightarrow Q} \right) \Leftrightarrow P \wedge \neg Q \cr}$