Originaal datei(SVG-datei, grate: 384 × 280 pixel, dateigrate: 3 KB)

Detheer bil as faan Wikimedia Commons an koon faan ööder projekten brükt wurd. Det beskriiwang faan't beskriiwangssidj woort oner uunwiset.

Beskriiwang

One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:

X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬X


Operations and relations in set theory and logic

 
c
          
A = A
1111 1111
 
Ac  Bc
true
A ↔ A
 
 B
 
 Bc
AA
 
 
 Bc
1110 0111 1110 0111
 
 Bc
¬A  ¬B
A → ¬B
 
 B
 B
A ← ¬B
 
Ac B
 
A B
A¬B
 
 
A = Bc
A¬B
 
 
A B
1101 0110 1011 1101 0110 1011
 
Bc
 ¬B
A ← B
 
A
 B
A ↔ ¬B
 
Ac
¬A  B
A → B
 
B
 
B =
AB
 
 
A = c
A¬B
 
 
A =
AB
 
 
B = c
1100 0101 1010 0011 1100 0101 1010 0011
¬B
 
 
 Bc
A
 
 
(A  B)c
¬A
 
 
Ac  B
B
 
Bfalse
 
Atrue
 
 
A = B
Afalse
 
Btrue
 
0100 1001 0010 0100 1001 0010
 ¬B
 
 
Ac  Bc
 B
 
 
 B
¬A  B
 
AB
 
1000 0001 1000 0001
¬A  ¬B
 
 
 B
 
 
A = Ac
0000 0000
false
A ↔ ¬A
A¬A
 
These sets (statements) have complements (negations).
They are in the opposite position within this matrix.
These relations are statements, and have negations.
They are shown in a separate matrix in the box below.



Diese Datei ist gemeinfrei („public domain“), weil sie nur Allgemeingut enthält und die nötige Schöpfungshöhe nicht erreicht.

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.
Ein Venn-Diagram einer Kontravalenz. Da beide Kreise ausgefärbt sind (ein logisches Wahr, positiv, eine Eins, usw. darstellend), ist die Kontravalenz von beiden Kreisen zusammen eine unausgefärbte Form (logisches Falsch, negativ, Null darstellend).

In dieser Datei abgebildete Objekte

motiif

Datei wersioonen

Klike üüb en tidjponkt, am detdiar wersion uuntulukin.

Dootem/TidjFöörskaubilMiatenBrükerKomentaar
aktuel01:14, 2. Mar. 2024Föörskau för det wersion faan 01:14, 2. Mar. 2024384 × 280 (3 KB)Watchduckcleaner code and lighter red (overwritten with Pywikibot)
16:09, 26. Jul. 2009Föörskau för det wersion faan 16:09, 26. Jul. 2009384 × 280 (3 KB)Watchduck
15:28, 26. Jan. 2008Föörskau för det wersion faan 15:28, 26. Jan. 2008615 × 463 (4 KB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
18:02, 22. Jan. 2008Föörskau för det wersion faan 18:02, 22. Jan. 2008615 × 463 (4 KB)Watchduck{{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }}

Detdiar sidj brükt detdiar datei:

Globaal brük faan datein

Jodiar ööder Wikis brük detdiar datei:

Muar globaal brük faan detdiar datei.

Metadooten