File:Venn1111.svg
From Wikimedia Commons, the free media repository
Venn1111.svg (SVG file, nominally 384 × 280 pixels, file size: 3 KB)
[edit] Context
|
0000: false
|
0001: A and B
|
0010: ¬A and B
|
|
|
0100: A and ¬B
|
0110: A xor B
|
0111: A or B
|
|
|
1000: ¬A and ¬B
|
1001: A xnor B
|
1011: ¬A or B
|
|
|
1101: A or ¬B
|
1110: ¬A or ¬B
|
1111: true
|
| Description |
Venn diagrams (sometimes called "Johnston diagrams") of the sixteen binary operations in Boolean algebras like set theory and propositional logic. |
|---|---|
| Date |
2008/Jan/22 |
| Source |
Own work |
| Author | |
| Permission (Reusing this image) |
See below. |
| Other versions | Every operation like has a corresponding relation like |
[edit] Licensing
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 14:14, 26 July 2009 | 384×280 (3 KB) | Lipedia (Talk | contribs) | ( ) | |
| 13:37, 26 January 2008 | 615×463 (4 KB) | Lipedia (Talk | contribs) | ({{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }} ) | ||
| 16:09, 22 January 2008 | 615×463 (4 KB) | Lipedia (Talk | contribs) | ({{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= }} ) |
- Edit this file using an external application (See the setup instructions for more information)
File links
The following 19 pages link to this file:
- Set theory
- File:Venn0000.svg
- File:Venn0001.svg
- File:Venn0010.svg
- File:Venn0011.svg
- File:Venn0100.svg
- File:Venn0101.svg
- File:Venn0110.svg
- File:Venn0111.svg
- File:Venn1000.svg
- File:Venn1001.svg
- File:Venn1010.svg
- File:Venn1011.svg
- File:Venn1100.svg
- File:Venn1101.svg
- File:Venn1110.svg
- File:Venn1111.svg
- Logic diagram
- File:Logical connectives Hasse diagram.svg