resümee puudub
Resümee puudub |
Resümee puudub Märgised: Teksti peitmine Visuaalmuudatus: Ümberlülitus |
||
|
|}
===Venni diagrammid===
Punased alad näitavad tõest tõeväärtust (nagu [[Image:Venn0001.svg|40px]] ''[[ühend|ühendi]]'' puhul).
{| border="0" style="width:100%"
| style="vertical-align:top;"|<!--- START LEFT TABLE IN TABLE --->
{| style="background:#f9f9f9; border:1px solid #ccc; float:left;"
|-
| [[Image:Venn1001.svg|220px|center]]
|-
| kahe lausearvutuse lause ekvivalents on<br />ekvivalentne [[välistav disjunktsioon|välistava disjunktsiooni]] [[eitus|eitus]]:
|- style="text-align:center;"
|<math>~A \leftrightarrow B~~\Leftrightarrow~~\neg(A \oplus B)</math>
[[File:Venn1001.svg|40px]] <math>\Leftrightarrow \neg</math> [[Image:Venn0110.svg|40px]]
|}<!--- END LEFT TABLE IN TABLE --->
| style="width: 100px"|
| style="vertical-align:top;"|<!--- START CENTRAL TABLE IN TABLE --->
{| style="background:#f9f9f9; border:1px solid #ccc; margin:auto;"
|-
| [[File:Venn 0110 1001.svg|220px|center]]
|-
| Ekvivalents ja kolme lausearvutuse <br /> lause välistav disjunktsioon<br />annavad sama tulemuse:<br />
<math>~A \leftrightarrow B \leftrightarrow C~~\Leftrightarrow</math><br />
<math>~A \oplus B \oplus C</math>
[[File:Venn 1001 1001.svg|40px]] <math>\leftrightarrow</math> [[File:Venn 0000 1111.svg|40px]]
<math>~~\Leftrightarrow~~</math>
[[File:Venn 0110 0110.svg|40px]] <math>\oplus</math> [[File:Venn 0000 1111.svg|40px]]
<math>~~\Leftrightarrow~~</math> [[File:Venn 0110 1001.svg|40px]]
|}<!--- END CENTRAL TABLE IN TABLE --->
| style="width: 100px"|
| style="vertical-align:top;"|<!--- START RIGHT TABLE IN TABLE --->
{| style="background:#f9f9f9; border:1px solid #ccc; float:right;"
|-
| [[File:Venn 1000 0001.svg|220px|center]]
|-
| <math>~A \leftrightarrow B \leftrightarrow C</math><br />saab lihtsamalt avaldada kujul<br /> <math>(A \leftrightarrow B) \and (B \leftrightarrow C)</math>
[[File:Venn 1001 1001.svg|40px]] <math>\and</math> [[File:Venn 1100 0011.svg|40px]]
<math>~~\Leftrightarrow~~</math> [[File:Venn 1000 0001.svg|40px]]
|}<!--- END RIGHT TABLE IN TABLE --->
|}
== Vaata ka ==
| |||