Datei:Logical connectives Hasse diagram.svg

Aus Foxwiki

Originaldatei(SVG-Datei, Basisgröße: 744 × 1.052 Pixel, Dateigröße: 201 KB)

Diese Datei stammt aus Wikimedia Commons und kann von anderen Projekten verwendet werden. Die Beschreibung von deren Dateibeschreibungsseite wird unten angezeigt.

Beschreibung

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)


Beschreibung
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.
Datum
Quelle Eigenes Werk
Urheber
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Genehmigung
(Weiternutzung dieser Datei)
Public domain Ich, der Urheberrechtsinhaber dieses Werkes, veröffentliche es als gemeinfrei. Dies gilt weltweit.
In manchen Staaten könnte dies rechtlich nicht möglich sein. Sofern dies der Fall ist:
Ich gewähre jedem das bedingungslose Recht, dieses Werk für jedweden Zweck zu nutzen, es sei denn, Bedingungen sind gesetzlich erforderlich.
Andere Versionen

Printable versions:

See also:

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.

In dieser Datei abgebildete Objekte

Motiv

image/svg+xml

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell16:17, 13. Feb. 2023Vorschaubild der Version vom 16:17, 13. Feb. 2023744 × 1.052 (201 KB)wikimediacommons>TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved

Keine Seiten verwenden diese Datei.

Metadaten