chop-logic-core/lib/propositional/truth-tables/index.d.ts

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

export { generatePropTruthTable } from "./generate-prop-truth-table";
export { generateTruthAssignments } from "./generate-truth-assignments";