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

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

import type { PropFormula } from "../../models";
/**
 * Converts a propositional formula into a string representation using Unicode logical symbols.
 *
 * @param {PropFormula} formula - The propositional formula to convert.
 * @returns {string} The string representation of the formula using Unicode glyphs.
 * @category Converters
 */
export declare function convertPropFormulaToString(formula: PropFormula): string;