Variable EE`Readonly`

EE: (formulas: PropFormula[]) => PropFormula[] = equivalenceElimination

Type declaration

- (formulas: PropFormula[]): PropFormula[]
- Performs equivalence elimination on the given formulas.
  
  If A <=> B, then we derive (A => B) and (B => A).
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns PropFormula[]
  An array containing the inferred formulas.
  
  Throws
  if the formulas are not all equivalences.