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