import type { PropFormula } from "../../models";
/**
 * 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.
 *
 * @param formulas - An array of propositional formulas to check.
 * @returns boolean indicating whether the rule is applicable
 * @category Validators
 */
export declare function isDisjunctionEliminationApplicable(formulas: PropFormula[]): boolean;