ternary logic

English

Noun

ternary logic (usually uncountable, plural ternary logics)

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}-xy-x^{2}y^{2} \over 2},\quad {\mbox{AND}}(x,y)={x-x^{2}+y-y^{2}+xy+x^{2}y^{2} \over 2}.$

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.