Ficheiro:Logical connectives Hasse diagram.svg

De testwiki
Saltar á navegación Saltar á procura
Ficheiro orixinal (ficheiro SVG; resolución de 794 × 1.123 píxeles; tamaño do ficheiro: 201 kB)

Este ficheiro é de Wikimedia Commons e pode utilizarse noutros proxectos. A descrición da páxina de descrición do ficheiro móstrase a continuación.

Resumo

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)


Descrición
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.
Data
Orixe Obra propia
Autoría
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Licenza
(Reuso deste ficheiro)
Public domain Eu, como posuidor dos dereitos de autor desta obra, libéroa para que pertenza ao dominio público. Isto é válido en todo o mundo.
Nalgúns países, isto pode non ser legalmente posible; entón:
Concedo a calquera o dereito de empregar esta obra para o propósito que considere oportuno, sen condicións, agás aquelas que sexan requiridas pola lei.
Outras versións

Printable versions:

See also:

Pés de foto

Engade unha explicación dunha liña do que representa este ficheiro

Elementos retratados neste ficheiro

representa a

Historial do ficheiro

Prema nunha data/hora para ver o ficheiro tal e como estaba nese momento.

Data/HoraMiniaturaDimensiónsUsuarioComentario
actual18 de xuño de 2025 ás 00:20Miniatura da versión ás 00:20 do 18 de xuño de 2025794 × 1.123 (201 kB)wikimediacommons>Watchducklighter red (overwritten with Pywikibot)

A seguinte páxina usa este ficheiro: