Translation for "totuusarvona" to english

Totuusarvona

• boolean
• as a truth value

Translation examples

boolean

Kaksiarvologiikassa proposition totuusarvo on aina tosi tai epätosi.
In the usual category of sets, this is the two-element set of Boolean truth-values, true and false.

Avainsanasymbolit, kuten :foo kuitenkin evaluoituvat takaisin itsekseen, ja totuusarvot esitetään Common Lispissä niille varatuilla symboleilla t ja nil.
Boolean values in Common Lisp are represented by the self-evaluating symbols T and NIL.

Erityisesti jos totuusarvoa F {\displaystyle F} (epätosi) merkitään 0:lla ja arvoa T {\displaystyle T} 1:llä, looginen "JA"-operaatio voidaan tulkita kerto­laskuksi ja eksklusiivinen disjunktio "XOR" yhteen­laskuksi kunnassa F 2 {\displaystyle F_{2}} : r = p ∧ q ⇔ r = p ⋅ q ( mod 2 ) r = p ⊕ q ⇔ r = p + q ( mod 2 ) {\displaystyle {\begin{matrix}r=p\land q&\Leftrightarrow &r=p\cdot q{\pmod {2}}\\\\r=p\oplus q&\Leftrightarrow &r=p+q{\pmod {2}}\\\end{matrix}}} Kun Boolen algebraa käsitellään tältä pohjalta, puhutaan algebrallisesta normaali­muodosta.
More specifically, if one associates F {\displaystyle F} with 0 and T {\displaystyle T} with 1, one can interpret the logical "AND" operation as multiplication on F 2 {\displaystyle F_{2}} and the "XOR" operation as addition on F 2 {\displaystyle F_{2}} : r = p ∧ q ⇔ r = p ⋅ q ( mod 2 ) r = p ⊕ q ⇔ r = p + q ( mod 2 ) {\displaystyle {\begin{matrix}r=p\land q&\Leftrightarrow &r=p\cdot q{\pmod {2}}\\r=p\oplus q&\Leftrightarrow &r=p+q{\pmod {2}}\\\end{matrix}}} Using this basis to describe a boolean system is referred to as algebraic normal form.