Interface Disjunctable

    • Method Detail

      • combineWithOr

        SimpleLogicalFormula combineWithOr​(Disjunctable f)
        Parameters:
        f - a formula to be combined with OR and this.
        Returns:
        a disjunction of this and the given formula.