Chop Logic Core - v1.6.0
    Preparing search index...

    Function calculatePropFormula

    • 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.

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

    Settings

    Member Visibility