File:Logical connectives Hasse diagram.svg

File originale(file in formato SVG, dimensioni nominali 744 × 1 052 pixel, dimensione del file: 201 KB)

Questo file proviene da Wikimedia Commons e può essere utilizzato da altri progetti. Di seguito viene mostrata la descrizione presente nella pagina di descrizione del file.

Sunt

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)


Spiegasiòun
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
Fonte Opera propria
Autore
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Licenza
(Riusare questo file)
Public domain Io, detentore del copyright su quest'opera, la rilascio nel pubblico dominio. Questa norma si applica in tutto il mondo.
In alcuni paesi questo potrebbe non essere legalmente possibile. In tal caso:
Garantisco a chiunque il diritto di utilizzare quest'opera per qualsiasi scopo, senza alcuna condizione, a meno che tali condizioni siano richieste dalla legge.
Altre versioni

Printable versions:

See also:

Didascalie

Aggiungi una brevissima spiegazione di ciò che questo file rappresenta

Elementi ritratti in questo file

raffigura italiano

creatore italiano

Valore sconosciuto senza un elemento Wikidata

15 Mâg 2009

tipo di file italiano

image/svg+xml

Cronologia del file

Fare clic su un gruppo data/ora per vedere il file come si presentava nel momento indicato.

(ultima | prima) Vedi (10 più recenti | ) (10 | 20 | 50 | 100 | 250 | 500).
Data/OraMiniaturaDimensioniUtenteCommento
attuale16:17, 13 feb 2023Miniatura della versione delle 16:17, 13 feb 2023744 × 1 052 (201 KB)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
16:14, 24 Lój 2021Miniatura della versione delle 16:14, 24 Lój 2021744 × 1 052 (201 KB)Watchduckrevert to last version by myself
16:59, 20 Zógn 2021Miniatura della versione delle 16:59, 20 Zógn 2021744 × 1 052 (193 KB)Mechachleopteryxwidened xor symbol
16:38, 20 Zógn 2021Miniatura della versione delle 16:38, 20 Zógn 2021744 × 1 052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
16:33, 20 Zógn 2021Miniatura della versione delle 16:33, 20 Zógn 2021744 × 1 052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
16:27, 20 Zógn 2021Miniatura della versione delle 16:27, 20 Zógn 2021744 × 1 052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
16:24, 20 Zógn 2021Miniatura della versione delle 16:24, 20 Zógn 2021744 × 1 052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
16:17, 20 Zógn 2021Miniatura della versione delle 16:17, 20 Zógn 2021744 × 1 052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
21:25, 7 Mâg 2010Miniatura della versione delle 21:25, 7 Mâg 2010744 × 1 052 (201 KB)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
19:00, 24 Ago 2009Miniatura della versione delle 19:00, 24 Ago 2009744 × 1 052 (206 KB)Watchduck
(ultima | prima) Vedi (10 più recenti | ) (10 | 20 | 50 | 100 | 250 | 500).

Utilizzo globale del file

Anche i seguenti wiki usano questo file:

Visualizza l'utilizzo globale di questo file.

Metadati