code: public Formula and(final Formula... operands) {
      final LinkedHashSet<Formula> ops = new LinkedHashSet<>(operands.length);
      Collections.addAll(ops, operands);
      return this.constructAnd(ops);
    }
docs: Creates a new conjunction from an array of formulas.
  @param operands the vector of formulas
  @return a new conjunction