chop-logic-core/lib/propositional/truth-tables/generate-prop-truth-table.d.ts

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

import type { PropFormula, TruthAssignmentsMap } from "../../models";
/**
 * Generates a truth table for the given propositional formula.
 *
 * @param {PropFormula} formula - The propositional formula.
 * @param {number} [limit=100] - The max number of variables in the formula.
 * @returns {TruthAssignmentsMap} - A map where keys are assignments, and values are truth values.
 * @throws {Error} If the formula has more variables than the limit allows.
 * @category Truth Tables
 */
export declare function generatePropTruthTable(formula: PropFormula, limit?: number): TruthAssignmentsMap;