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

    Enumeration Operator

    Logical operator types supported in the system. Defines the core logical operations available in propositional logic.

    Index

    Enumeration Members

    Var Not And Or Implies ReversedImplies Equiv Xor Nand Nor AntiImplies ReversedAntiImplies Contradiction Tautology

    Enumeration Members

    Var: "VAR"

    Variable placeholder

    Not: "NOT"

    Logical negation (NOT)

    And: "AND"

    Logical conjunction (AND)

    Or: "OR"

    Logical disjunction (OR)

    Implies: "IMPLIES"

    Material implication (IF...THEN)

    ReversedImplies: "REVERSED_IMPLIES"

    Reversed implication

    Equiv: "EQUIV"

    Logical equivalence (IFF)

    Xor: "XOR"

    Exclusive disjunction (XOR)

    Nand: "NAND"

    Not AND operation

    Nor: "NOR"

    Not OR operation

    AntiImplies: "ANTI_IMPLIES"

    Anti-implication

    ReversedAntiImplies: "REVERSED_ANTI_IMPLIES"

    Reversed anti-implication

    Contradiction: "CONTRADICTION"

    Logical contradiction (always false)

    Tautology: "TAUTOLOGY"

    Logical tautology (always true)

    Settings

    Member Visibility

    On This Page

    Enumeration Members