code: 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);
      }
docs: Returns the negation of the given CNF condition.