chop-logic-core/lib/propositional/validators/are-prop-formulas-structurally-equal.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import type { PropFormula } from "../../models";
/**
 * Checks whether two propositional formulas are structurally equivalent.
 * Two formulas are considered structurally equivalent if they have the exact same structure,
 * operators, and variable names in the same positions.
 *
 * @param formulas - An array of propositional formulas to check.
 * @returns True if the formulas are structurally equivalent, otherwise false.
 * @category Validators
 */
export declare function arePropFormulasStructurallyEqual(formulas: PropFormula[]): boolean;