Sanakirja
Tekoälykääntäjä

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivi

  1. A system of mathematical logic in which there are three truth values.

Esimerkit

  • 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}.

Luokat