Vikipeedia

Disjunktsioon: erinevus redaktsioonide vahel

Sirvi ajalugu interaktiivselt
← Vanem muudatusUuem muudatus →
Eemaldatud sisu Lisatud sisu
VisuaalneVikitekst
P pisitoimetamine
P Replacing deprecated latex syntax mw:Extension:Math/Roadmap
1. rida:
{{Keeletoimeta|lisaja=Kuriuss|aasta=2019|kuu=veebruar}}
{{see artikkel|räägib loogikatehtest; sõna teiste tähenduste kohta vaata lehekülge [[Disjunktsioon (täpsustus)]].}}
[[Pilt:Venn0111.svg|pisi|Tehte <math>\scriptstyle A \orlor B</math> [[Venni diagramm]]]]
[[Pilt:Venn 0111 1111.svg|pisi|Tehte <math>\scriptstyle A \orlor B \orlor C</math> [[Venni diagramm]]]]'''Disjunktsioon''' ehk '''loogiline liitmine''' on binaarne loogikatehe: lausete ''A'' ja ''B'' disjunktsioon ''A''<math>\vee</math>''B'' loetakse vääraks parajasti siis, kui laused ''A'' ja ''B'' on mõlemad väärad ning tõeseks kõigil muudel juhtudel.
 
'''Loogiline liitmine''' ehk '''või-tehe''' on [[Boole'i algebra]]s selline tehe, mille väärtus on üks siis, kui kas või üks [[argument]]idest võrdub ühega. Või tehte tähistamiseks kasutatakse kas pluss (+) märki või loogilise liitmise eritähist – V-tähe kujulist märki <math>\vee</math>.
22. rida:
Kõik järgnevad tehted on disjunktsioonid:
 
: <math>A \orlor B</math>
: <math>\neg A \orlor B</math>
: <math>A \orlor \neg B \orlor \neg C \orlor D \orlor \neg E</math>
 
Hulgateoorias vastav operatsioon on hulgateoreetiline [[ühend]].
33. rida:
===Tõeväärtustabel===
 
Tehte<math>~A \orlor B</math> [[tõeväärtustabel]]:
{| class="wikitable" style="margin: 0 0 1em 1em"
|- bgcolor="#ddeeff" align="center"
|colspan=2|'''SISEND''' || '''VÄLJUND'''
|- bgcolor="#ddeeff" align="center"
| <math> A</math>|| <math>B</math> || <math> A \orlor B</math>
|- bgcolor="#ddffdd" align="center"
|TÕENE || TÕENE || TÕENE
56. rida:
{| style="text-align: center; border: 1px solid darkgray;"
|-
|<math>A \orlor B</math>
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|<math>B \orlor A</math>
|-
|[[Pilt:Venn0111.svg|50px]]
69. rida:
|-
|<math>~A</math>
|<math>~~~\orlor ~~~</math>
|<math>(B \orlor C)</math>
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|
|
|<math>(A \orlor B)</math>
|<math>~~~\orlor ~~~</math>
|<math>~C</math>
|-
|[[Pilt:Venn 0101 0101.svg|50px]]
|<math>~~~\orlor~~~</math>
|[[Fail:Venn 0011 1111.svg|50x50px]]
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
85. rida:
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|[[Fail:Venn 0111 0111.svg|50x50px]]
|<math>~~~\orlor~~~</math>
|[[Pilt:Venn 0000 1111.svg|50px]]
|}
93. rida:
|-
|<math>~A</math>
|<math>\orlor</math>
|<math>(B \andland C)</math>
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|
|
|<math>(A \orlor B)</math>
|<math>\andland</math>
|<math>(A \orlor C)</math>
|-
|-
|[[Pilt:Venn 0101 0101.svg|50px]]
|<math>\orlor</math>
|[[Fail:Venn 0000 0011.svg|50x50px]]
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
110. rida:
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|[[Fail:Venn 0111 0111.svg|50x50px]]
|<math>\andland</math>
|[[Fail:Venn 0101 1111.svg|50x50px]]
|}
118. rida:
|-
|<math>~A~</math>
|<math>~\orlor~</math>
|<math>~A~</math>
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
124. rida:
|-
|[[Pilt:Venn01.svg|36px]]
|<math>~\orlor~</math>
|[[Pilt:Venn01.svg|36px]]
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Leftrightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
136. rida:
|
|
|<math>(A \andland C)</math>
|<math>\rightarrow</math>
|<math>(B \andland C)</math>
|-
||[[Pilt:Venn 1011 1011.svg|50px]]
153. rida:
{| style="text-align: center; border: 1px solid darkgray;"
|-
|<math>A \orlor B</math>
|&nbsp;&nbsp;&nbsp;&nbsp;<math>\Rightarrow</math>&nbsp;&nbsp;&nbsp;&nbsp;
|<math>A \orlor B</math>
|-
|[[Fail:Venn0111.svg|50x50px]]
Pärit leheküljelt "https://et.wikipedia.org/wiki/Disjunktsioon"