Variable convertToString`Readonly`

convertToString: (formula: PropFormula) => string = convertPropFormulaToString

Type declaration

- (formula: PropFormula): string
- Converts a propositional formula into a string representation using Unicode logical symbols.
  Parameters
  - formula: PropFormula
    The propositional formula to convert.
  Returns string
  The string representation of the formula using Unicode glyphs.