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;