public CNF(List<Clause> conjunctionOfClauses) { this.conjunctionOfClauses.AddRange(conjunctionOfClauses); }