Fichier:Logical connectives Hasse diagram.svg

De testwiki
Aller à la navigation Aller à la recherche
Fichier d’origine (Fichier SVG, nominalement de 794 × 1 123 pixels, taille : 201 kio)

Ce fichier provient de Wikimedia Commons et peut être utilisé par d'autres projets. Sa description sur sa page de description est affichée ci-dessous.

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à.

Date et heureVignetteDimensionsUtilisateurCommentaire
actuel18 juin 2025 à 00:20Vignette pour la version du 18 juin 2025 à 00:20794 × 1 123 (201 kio)wikimediacommons>Watchducklighter red (overwritten with Pywikibot)

La page suivante utilise ce fichier :