CNF

@Hoss93 
you had the name of the variable in quantifier as variable and not variable name so i kept is the same