chop-logic-core/lib/propositional/converters/convert-prop-formula-to-expression.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import type { PropExpression, PropFormula } from "../../models";
/**
 * Converts a propositional formula into its corresponding expression representation.
 *
 * @param {PropFormula} formula - The propositional formula to convert.
 * @returns {PropExpression} The expression representation of the formula.
 * @category Converters
 */
export declare function convertPropFormulaToExpression(formula: PropFormula): PropExpression;