title: How to convert formula to CNF?
body: <p>I know the 4 rules to convert the formulas to CNF, but I'm not quite sure how to apply them to this formula
  ((x v y) ^ ¬ z) ->w</p>
  
  <p>Could someone give me a hand and a bit of an explanation? Thanks!</p>