code: public static boolean isTautology( IDisjunct disjunct)
      {
      boolean tautology = false;
      if( disjunct != null)
        {
        IAssertion[] assertions = IteratorUtils.toArray( disjunct.getAssertions(), IAssertion.class);
        int max = assertions.length;
        int maxCompared = max - 1;
        
        for( int compared = 0;
             !tautology && compared < maxCompared;
             compared++)
          {
          IAssertion assertCompared = assertions[ compared];
          
          for( int other = compared + 1;
               !tautology && other < max;
               tautology = assertCompared.negates( assertions[ other++]));
          }
        }
      
      return tautology;
      }
docs: Returns true if the given disjunction is universally true.