chop-logic-core/lib/propositional/converters/index.d.ts

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

export { convertPropFormulaToExpression } from "./convert-prop-formula-to-expression";
export { convertPropFormulaToString } from "./convert-prop-formula-to-string";
export { extractPropSubFormulas } from "./extract-prop-sub-formulas";
export { extractPropVariables } from "./extract-prop-variables";
export { replaceAtomInFormula } from "./replace-atom-in-formula";