code: private void addFormulaOr(final LinkedHashSet<Formula> ops, final Formula f) {
      if (f.type == FALSE) {
        this.formulaAdditionResult[0] = true;
        this.formulaAdditionResult[1] = true;
      } else if (f.type == TRUE || containsComplement(ops, f)) {
        this.formulaAdditionResult[0] = false;
        this.formulaAdditionResult[1] = false;
      } else {
        ops.add(f);
        this.formulaAdditionResult[0] = true;
        this.formulaAdditionResult[1] = f.type == LITERAL;
      }
    }
docs: Adds a given formula to a list of operands.  If the formula is the neutral element for the respective n-ary
  operation it will be skipped.  If a complementary formula is already present in the list of operands or the
  formula is the dual element, {@code false} is stored as first element of the result array,
  otherwise {@code true} is the first element of the result array.  If the added formula was a literal, the second
  element in the result array is {@code true}, {@code false} otherwise.
  @param ops the list of operands
  @param f   the formula