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.
An array of propositional formulas to check.
True if the formulas are structurally equivalent, otherwise false.
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.