CNF

@Hoss93 
push negation works on an expression without inner expressions  while push nots inwards keeps doing so until all nots have been pushed inwards