Variable generateTTReadonly

Type declaration

• • (formula: PropFormula, limit?: number): TruthAssignmentsMap

  • Generates a truth table for the given propositional formula.

    Parameters

    • formula: PropFormula

      The propositional formula.
    • Optionallimit: number = 100

      The max number of variables in the formula.

    Returns TruthAssignmentsMap

    • A map where keys are assignments, and values are truth values.

    Throws

    If the formula has more variables than the limit allows.