chop-logic-core
Version:
Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
12 lines (11 loc) • 519 B
TypeScript
import type { TruthAssignmentsMap } from "../../models";
/**
* Generates all possible truth assignments for a given number of variables.
*
* @param varCount - The number of boolean variables.
* @param limit - The maximum allowed number of variables (default: 100).
* @returns A map of truth assignments, indexed by binary count.
* @throws {Error} If varCount exceeds the limit.
* @category Truth Tables
*/
export declare function generateTruthAssignments(varCount: number, limit?: number): TruthAssignmentsMap;