File:Venn0001.svg

From Wikimedia Commons, the free media repository

File
File history
File links

Venn0001.svg‎ (SVG file, nominally 384 × 280 pixels, file size: 3 KB)

[edit] Context

0000: false	0001: A and B	0010: ¬A and B	0011: B
0100: A and ¬B	0101: A	0110: A xor B	0111: A or B
1000: ¬A and ¬B	1001: A xnor B	1010: ¬A	1011: ¬A or B
1100: ¬B	1101: A or ¬B	1110: ¬A or ¬B	1111: true

Description	Venn0001.svg 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	Tilman Piesk
Permission (Reusing this image)	See below.
Other versions	Every operation like (in set theory this is the complement of A unified with B) has a corresponding relation like (in set theory this means, that A is a subset of B).

[edit] Licensing

I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide.

In case this is not legally possible:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

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:06, 26 July 2009		384×280 (3 KB)	Lipedia (Talk \| contribs)	( )
	14:05, 26 July 2009		384×280 (3 KB)	Lipedia (Talk \| contribs)	( )
	13:24, 26 January 2008		615×463 (4 KB)	Lipedia (Talk \| contribs)	({{Information \|Description= \|Source=eigene arbeit \|Date= \|Author= Tilman Piesk \|Permission= \|other_versions= }} )
	15:57, 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= }} )
	14:26, 22 January 2008		480×360 (3 KB)	Lipedia (Talk \| contribs)	({{Information \|Description= \|Source= \|Date= \|Author= \|Permission= \|other_versions= }} )