CNF

@Hoss93 
i meant imp to or sorry but it converts quantifiers so i used it with the same name