Translation for "disjunction" to finnish

Disjunction

• disjunktio

Translation examples

disjunktio

Disjoin, separate, disjunction
Irrottaa, erillinen, disjunktiota

Exclusive disjunction is often used for bitwise operations.
Eksklusiivista disjunktiota käytetään usein biteittäisiin laskutoimituksiin.

However, the plus sign is also used for inclusive disjunction in some notation systems.
Kuitenkin joissakin yhteyksissä plusmerkillä tarkoitetaan myös inklusiivista disjunktiota.

The exclusive disjunction p ⊕ q {\displaystyle p\oplus q} can also be expressed in the following way:
Eksklusiivinen disjunktio p ⊕ q {\displaystyle p\oplus q} voidaan ilmaista myös seuraavasti:

Leibniz enunciated the principal properties of what we now call conjunction, disjunction, negation, identity, set inclusion, and the empty set.
Leibniz määritteli keskeisiä ominaisuuksia, joita nykyään kutsutaan sellaisilla nimillä kuin konjunktio, disjunktio, negaatio, identiteetti, osajoukko ja tyhjä joukko.

This makes sense mathematically because exclusive disjunction corresponds to addition modulo 2, which has the following addition table, clearly isomorphic to the one above:
Tämä on matemaattisesti perusteltua, koska eksklusiivinen disjunktio vastaa yhteenlaskua modulo 2, jolle pätee seuraava taulukko ja joka on selvästi isomorfinen edellä esitetyn kanssa:

Conjunctions and disjunctions can only appear in the body, not in the head of a rule.
Konjunktioita ja disjunktioita voi esiintyä runko-osassa, mutta ei säännön otsikossa.

The corresponding logical operations are known, respectively, as conjunction, disjunction, material conditional, biconditional, and negation.
Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto.

In computer science, exclusive disjunction has several uses: It tells whether two bits are unequal.
Tietotekniikassa biteittäisellä eksklusiivisella disjunktiolla eli XOR-operaatiolla on useita käyttökohteita: Se kertoo, ovatko kahdella bitillä sama arvo.

Exclusive or or exclusive disjunction is a logical operation that outputs true only when inputs differ (one is true, the other is false).
Eksklusiivinen disjunktio eli eksklusiivinen tai on looginen konnektiivi, jolla muodostettu yhdistetty lause on tosi, jos ja vain jos yhdistettävillä lauseilla on eri totuusarvot (toinen on tosi ja toinen epätosi).

The truth table of A XOR B shows that it outputs true whenever the inputs differ: 0, false 1, true Exclusive disjunction essentially means 'either one, but not both nor none'.
Lauseen A XOR B totuustaulu osoittaa, että yhdistetty lause on tosi, jos yhdistettävillä lauseilla on eri totuusarvo jossa: 0 = epätosi 1 = tosi Eksklusiivinen disjunktio merkitsee oleellisesti: 'jompikumpi mutta ei molemmat'.

Chrysippus enumerated five kinds of molecular propositions according to the connective used: Thus several types of molecular propositions, familiar to modern logic, were listed by Chrysippus, including the conjunction, the disjunction, and the conditional, and Chrysippus studied their criteria of truth closely.
Khrysippos luetteli käytetyn konnektiivin mukaan viisi tyyppiä yhdistettyjä propositioita: Täten Khrysippos luetteli useita nykyisenkin logiikan tuntemia molekyyli­lauseita, muun muassa konjunktion, disjunktion ja implikaation. ja tutki tarkoin niiden totuuden kriteerejä.

The exclusive disjunction p ⊕ q {\displaystyle p\oplus q} , also denoted by p {\displaystyle p} ⩛ q {\displaystyle q} or J ⁡ p q {\displaystyle \operatorname {J} pq} , can be expressed in terms of the logical conjunction ("logical and", ∧ {\displaystyle \wedge } ), the disjunction ("logical or", ∨ {\displaystyle \lor } ), and the negation ( ¬ {\displaystyle \lnot } ) as follows: p ⊕ q = ( p ∨ q ) ∧ ¬ ( p ∧ q ) {\displaystyle {\begin{matrix}p\oplus q&=&(p\lor q)\land \lnot (p\land q)\end{matrix}}} The exclusive disjunction p ⊕ q {\displaystyle p\oplus q} can also be expressed in the following way: p ⊕ q = ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) {\displaystyle {\begin{matrix}p\oplus q&=&(p\land \lnot q)\lor (\lnot p\land q)\end{matrix}}} This representation of XOR may be found useful when constructing a circuit or network, because it has only one ¬ {\displaystyle \lnot } operation and small number of ∧ {\displaystyle \wedge } and ∨ {\displaystyle \lor } operations.
Eksklusiivinen disjunktio p ⊕ q {\displaystyle p\oplus q} eli Jpq, voidaan ilmaista loogisen konjunktion ("looginen ja", ∧ {\displaystyle \land } ) disjunktion ("looginen tai", ∨ {\displaystyle \lor } ) ja negaation ( ¬ {\displaystyle \lnot } ) avulla seuraavasti: p ⊕ q = ( p ∨ q ) ∧ ¬ ( p ∧ q ) {\displaystyle {\begin{matrix}p\oplus q&=&(p\lor q)\land \lnot (p\land q)\end{matrix}}} Eksklusiivinen disjunktio p ⊕ q {\displaystyle p\oplus q} voidaan ilmaista myös seuraavasti: p ⊕ q = ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) {\displaystyle {\begin{matrix}p\oplus q&=&(p\land \lnot q)\lor (\lnot p\land q)\end{matrix}}} Tämä esitysmuoto on usein hyödyllinen muodostettaessa loogisia piirejä tai verkkoja, koska siinä on vain yksi ¬ {\displaystyle \lnot } -operaatio ja pieni määrä ∧ {\displaystyle \land } - ja ∨ {\displaystyle \lor } -operaatioita.