File:Logical connectives Hasse diagram.svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file (SVG file, nominally 744 × 1,052 pixels, file size: 201 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]

Rhombic dodecahedron:

Logical connectives:

input Ainput Boutput f(A,B)X and ¬XA and B¬A and BBA and ¬BAA xor BA or B¬A and ¬BA xnor B¬A¬A or B¬BA or ¬B¬A or ¬BX or ¬X
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
(Logical connectives table and Hasse diagram)


Description
English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by: 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 tesseract's vertex-first shadow in 3 dimensions.
中文：這十六個逻辑运算符排列在一个哈斯圖裡面。他们代表： 节点像四維超正方體的顶点那样连接。浅蓝色边缘形成菱形十二面體——三维阴影中冪集的第一个顶点的凸殼。
This SVG was created with Inkscape.
Date
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Permission
(Reusing this file)
Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Other versions

Printable versions:

See also:

File history

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

(newest | oldest) View (newer 10 | ) (10 | 20 | 50 | 100 | 250 | 500)
Date/TimeThumbnailDimensionsUserComment
current14:17, 13 February 2023Thumbnail for version as of 14:17, 13 February 2023744 × 1,052 (201 KB)TeunSpaans (talk | contribs)updated to newer inkscape version, hopefully alll previous issues solved
14:14, 24 July 2021Thumbnail for version as of 14:14, 24 July 2021744 × 1,052 (201 KB)Watchduck (talk | contribs)revert to last version by myself
14:59, 20 June 2021Thumbnail for version as of 14:59, 20 June 2021744 × 1,052 (193 KB)Mechachleopteryx (talk | contribs)widened xor symbol
14:38, 20 June 2021Thumbnail for version as of 14:38, 20 June 2021744 × 1,052 (193 KB)Mechachleopteryx (talk | contribs)changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14:33, 20 June 2021Thumbnail for version as of 14:33, 20 June 2021744 × 1,052 (201 KB)Mechachleopteryx (talk | contribs)Reverted to version as of 19:25, 7 May 2010 (UTC)
14:27, 20 June 2021Thumbnail for version as of 14:27, 20 June 2021744 × 1,052 (193 KB)Mechachleopteryx (talk | contribs)changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14:24, 20 June 2021Thumbnail for version as of 14:24, 20 June 2021744 × 1,052 (201 KB)Mechachleopteryx (talk | contribs)Reverted to version as of 19:25, 7 May 2010 (UTC)
14:17, 20 June 2021Thumbnail for version as of 14:17, 20 June 2021744 × 1,052 (193 KB)Mechachleopteryx (talk | contribs)changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
19:25, 7 May 2010Thumbnail for version as of 19:25, 7 May 2010744 × 1,052 (201 KB)Watchduck (talk | contribs)changed XOR sign from <math>\dot\or</math> to <math>\oplus</math>
17:00, 24 August 2009Thumbnail for version as of 17:00, 24 August 2009744 × 1,052 (206 KB)Watchduck (talk | contribs)
(newest | oldest) View (newer 10 | ) (10 | 20 | 50 | 100 | 250 | 500)

You cannot overwrite this file.

File usage on other wikis

Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:Logical_connectives_Hasse_diagram.svg&oldid=732311090"