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

    Enumeration Glyph

    Standard textual representations of logical symbols. Provides ASCII-compatible symbols for logical operators.

    Index

    Enumeration Members

    Implication ReversedImplication Conjunction Disjunction Negation Equivalence ExclusiveConjunction ShefferStroke WebbOperation AntiImplication ReversedAntiImplication Contradiction Tautology OpenParenthesis CloseParenthesis

    Enumeration Members

    Implication: "=>"

    Implication (→)

    ReversedImplication: "<="

    Reversed implication (←)

    Conjunction: "&"

    Conjunction (∧)

    Disjunction: "|"

    Disjunction (∨)

    Negation: "~"

    Negation (¬)

    Equivalence: "<=>"

    Equivalence (≡)

    ExclusiveConjunction: "^"

    Exclusive disjunction (⊕)

    ShefferStroke: "!&"

    Sheffer stroke (↑, NAND)

    WebbOperation: "!|"

    Webb operation (↓, NOR)

    AntiImplication: "!=>"

    Anti-implication (↛)

    ReversedAntiImplication: "!<="

    Reversed anti-implication (↚)

    Contradiction: "#"

    Contradiction (⊥)

    Tautology: "@"

    Tautology (⊤)

    OpenParenthesis: "("

    Opening parenthesis

    CloseParenthesis: ")"

    Closing parenthesis

    Settings

    Member Visibility

    On This Page

    Enumeration Members