public static IConjunct negate ( IConjunct conjunct ) { AnyOf anyOf = new AnyOf ( ) ; for ( Iterator < IDisjunct > disjuncts = conjunct . getDisjuncts ( ) ; disjuncts . hasNext ( ) ; ) { Conjunction conjunction = new Conjunction ( ) ; for ( Iterator < IAssertion > assertions = disjuncts . next ( ) . getAssertions ( ) ; assertions . hasNext ( ) ; ) { conjunction . add ( assertions . next ( ) . negate ( ) ) ; } anyOf . add ( simplify ( conjunction ) ) ; } return Cnf . convert ( anyOf ) ; }
Returns the negation of the given CNF condition .