File:Logical connectives Hasse diagram.svg

From Wikimedia Commons, the free media repository

File
File history
File links

Logical_connectives_Hasse_diagram.svg‎ (SVG file, nominally 744 × 1,052 pixels, file size: 206 KB)

[edit] Beschreibung

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	Logical connectives Hasse diagram.svg English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by: logical formulas set theoretic definitions by subsets of P^3({}) Venn diagrams The nodes are connected like the vertices of a 4 dimensional cube. The light blue edges form a rhombic dodecahedron - the convex hull of the tesseracts vertex first shadow in 3 dimensions. Deutsch: Die sechzehn Junktoren der Aussagenlogik in einem Hasse-Diagramm angeordnet - repräsentiert durch: logische Formeln mengentheoretische Definitionen durch Teilmengen von P^3({}) Venn-Diagramme
Date	2009-May-15
Source	Own work
Author	Tilman Piesk
Permission (Reusing this image)	See below.
Other versions	on Flickr, see also: File:Elements of P^4(empty set) in Hasse diagram.svg

[edit] Licensing:

I, the copyright holder of this work, hereby publish it under the following licenses:

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

This file is licensed under the Creative Commons Attribution 3.0 Unported License. In short: you are free to distribute and modify the file as long as you attribute its author(s) or licensor(s).

You may select the license of your choice.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	17:00, 24 August 2009		744×1,052 (206 KB)	Lipedia (Talk \| contribs)	( )
	15:27, 27 May 2009		744×1,052 (280 KB)	Lipedia (Talk \| contribs)	( )
	18:45, 15 May 2009		744×1,052 (248 KB)	Lipedia (Talk \| contribs)	({{Information \|Description={{en\|1=The sixteen logical connectives ordered in a Hasse diagram. * logical formulas * set theoretic definitions by subsets of P^3(w:en:empty set[[w:e)