CNF

@Hoss93 
if the expression is not negated then i should not negate it