Opprinnelig fil(SVG-fil, standardstørrelse 380 × 280 piksler, filstørrelse: 351 byte)


Wikimedia Commons' logo

Beskrivelse

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.



Dette verket er ikke opphavsrettsbeskyttet og er offentlig eiendom (public domain), fordi det ikke har verkshøyde.

Bildetekster

Legg til en kort forklaring på hva filen representerer

Elementer som er med i denne fila

motiv

image/svg+xml

Filhistorikk

Klikk på et tidspunkt for å vise filen slik den var på det tidspunktet.

Dato/klokkeslettMiniatyrbildeDimensjonerBrukerKommentar
nåværende2. mar. 2024 kl. 01:13Miniatyrbilde av versjonen fra 2. mar. 2024 kl. 01:13380 × 280 (351 byte)Watchduckcleaner code and lighter red (overwritten with Pywikibot)
24. jul. 2023 kl. 22:44Miniatyrbilde av versjonen fra 24. jul. 2023 kl. 22:44380 × 280 (352 byte)SVG-image-makerRecoded manually by use of text editor
26. jul. 2009 kl. 16:07Miniatyrbilde av versjonen fra 26. jul. 2009 kl. 16:07384 × 280 (3 KB)Watchduck
26. jan. 2008 kl. 15:25Miniatyrbilde av versjonen fra 26. jan. 2008 kl. 15:25615 × 463 (4 KB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
22. jan. 2008 kl. 17:58Miniatyrbilde av versjonen fra 22. jan. 2008 kl. 17:58615 × 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= }}

De følgende 2 sidene bruker denne filen:

Global filbruk

Følgende andre wikier bruker denne filen:

Vis mer global bruk av denne filen.

Metadata