public boolean equals(AxiomCNF cnf) {
			int found = 0;
			if(cnf == null || cnf.length() != this.length()) {
				return false;
			} else {
				// compare each operand to every other operand
				for(String operand1 : operands) {
					String ors1[] = operand1.split("\\|");
					for(String operand2 : cnf.getOperands()) {
						String ors2[] = operand2.split("\\|");
						if(equalOperands(ors1, ors2)) {
							found++;
						}
					}
				}
			}
			return found == cnf.length();
		}