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