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