Variable calculateFormulaReadonly

Type declaration

• • (
        params: {
            formula: PropFormula;
            assignment: boolean[];
            variablesMap?: PropFormulaVariablesMap;
        },
    ): boolean

  • Evaluates a propositional formula based on a given truth assignment.

    Parameters

    • params: {
          formula: PropFormula;
          assignment: boolean[];
          variablesMap?: PropFormulaVariablesMap;
      }

      Function parameters.

      • formula: PropFormula

        The propositional formula in tree-like structure.

      • assignment: boolean[]

        The truth assignment for the variables.

      • OptionalvariablesMap?: PropFormulaVariablesMap

        The map of formula variables ordered alphabetically

    Returns boolean

    • The boolean result of the evaluated formula.

    Throws

    If the number of variables in the formula does not match the assignment length.