UNPKG

chop-logic-core

Version:

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

choplogic.github.io/chop-logic-core

ChopLogic/chop-logic-core

22 lines (21 loc) • 563 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/** * Maps indices to arrays of truth values. * Used for managing truth assignments in evaluations. * * @category Truth Table Types */ export type TruthAssignmentsMap = Map<number, boolean[]>; /** * Represents a single row in a truth table. * Maps variable names to their truth values. * * @category Truth Table Types */ export type TruthTableRow = Record<string, boolean>; /** * Complete truth table for a formula. * Collection of all possible truth value combinations. * * @category Truth Table Types */ export type TruthTable = TruthTableRow[];