Function isDisjunctionEliminationApplicable

Checks whether the Disjunction Elimination rule is applicable to three given formulas.

Conditions for applicability:

• Exactly three formulas in the input array
• Two formulas must be implications with the same consequent.
• The third formula must be a disjunction of the antecedents of the other two implications.