CNF

@Hoss93 
no it converts eq to imp and imp to or