CNF

@Hoss93 
i actually thought this is a good name because it converts the equivalence into implication and vice versa