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

    Namespace PropositionalUtils

    Utility functions for working with propositional formulas. Provides methods for formula manipulation, evaluation, and validation.

    Variables

    calculateFormula
    convertToString
    convertToExpression
    getVariables
    getSubFormulas
    isWFF
    getUnaryValue
    getBinaryValue
    generateTT
    generateAssignments
    applyChecks

    Settings

    Member Visibility

    On This Page

    Variables