Fichier:Logical connectives Hasse diagram.svg

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.

Fichier d’origine(Fichier SVG, nominalement de 744 × 1 052 pixels, taille : 201 kio)

Ce fichier et sa description proviennent de Wikimedia Commons.

Description

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 Travail personnel
Auteur
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Autorisation
(Réutilisation de ce fichier)
Public domain Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier.
Dans certains pays, ceci peut ne pas être possible ; dans ce cas :
J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi.
Autres versions

Printable versions:

See also:

Légendes

Ajoutez en une ligne la description de ce que représente ce fichier

Éléments décrits dans ce fichier

dépeint

image/svg+xml

Historique du fichier

Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.

(les plus récentes | les plus anciennes) Voir (10 plus récentes | ) (10 | 20 | 50 | 100 | 250 | 500)
Date et heureVignetteDimensionsUtilisateurCommentaire
actuel13 février 2023 à 16:17Vignette pour la version du 13 février 2023 à 16:17744 × 1 052 (201 kio)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
24 juillet 2021 à 16:14Vignette pour la version du 24 juillet 2021 à 16:14744 × 1 052 (201 kio)Watchduckrevert to last version by myself
20 juin 2021 à 16:59Vignette pour la version du 20 juin 2021 à 16:59744 × 1 052 (193 kio)Mechachleopteryxwidened xor symbol
20 juin 2021 à 16:38Vignette pour la version du 20 juin 2021 à 16:38744 × 1 052 (193 kio)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
20 juin 2021 à 16:33Vignette pour la version du 20 juin 2021 à 16:33744 × 1 052 (201 kio)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
20 juin 2021 à 16:27Vignette pour la version du 20 juin 2021 à 16:27744 × 1 052 (193 kio)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
20 juin 2021 à 16:24Vignette pour la version du 20 juin 2021 à 16:24744 × 1 052 (201 kio)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
20 juin 2021 à 16:17Vignette pour la version du 20 juin 2021 à 16:17744 × 1 052 (193 kio)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
7 mai 2010 à 21:25Vignette pour la version du 7 mai 2010 à 21:25744 × 1 052 (201 kio)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
24 août 2009 à 19:00Vignette pour la version du 24 août 2009 à 19:00744 × 1 052 (206 kio)Watchduck
(les plus récentes | les plus anciennes) Voir (10 plus récentes | ) (10 | 20 | 50 | 100 | 250 | 500)

Usage global du fichier

Métadonnées