Function convertPropFormulaToExpression

convertPropFormulaToExpression(formula: PropFormula): PropExpression
Converts a propositional formula into its corresponding expression representation.
Parameters
- formula: PropFormula
  The propositional formula to convert.
Returns PropExpression
The expression representation of the formula.
- Defined in propositional/converters/convert-prop-formula-to-expression.ts:13