Function convertPropFormulaToString

convertPropFormulaToString(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.
- Defined in propositional/converters/convert-prop-formula-to-string.ts:12