CNF

@Hoss93 
why not just set negated to by true when creating the implication