def __or__(self, other):
<EOL>if isinstance(other, Formula):<EOL><INDENT>return Formula(self._values + other._values)<EOL><DEDENT>elif isinstance(other, FormulaElement):<EOL><INDENT>return Formula(self._values + Counter([other]))<EOL><DEDENT>return NotImplemented<EOL>
Merge formulas into one formula.