public Cnf(And and)
 {
     Clauses = new List <Clause>();
     RemoveParenthesis(and);
 }