ternary logic

Definition from Wiktionary, the free dictionary
Jump to: navigation, search



Wikipedia has an article on:


ternary logic (uncountable)

  1. A system of mathematical logic in which there are three truth values.
    A Kleene-type ternary logic can be shown to exist "embedded" in integer arithmetic modulo 3 by assigning polynomials to the logical connectives, like so:  \mbox{NOT}(x) = - x,
    \mbox{OR}(x,y) = {x + x^2 + y + y^2 - x y - x^2 y^2\over 2}, \quad \mbox{AND}(x,y) = {x - x^2 + y - y^2 + x y + x^2 y^2\over 2}.