Εικόνα σε υψηλότερη ανάλυση(Αρχείο SVG, ονομαστικό μέγεθος 744 × 1.052 εικονοστοιχεία, μέγεθος αρχείου: 201 KB)

Σύνοψη

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)


Περιγραφή
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.
Ημερομηνία
Πηγή Έργο αυτού που το ανεβάζει
Δημιουργός
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Άδεια
(Επαναχρησιμοποίηση αυτού του αρχείου)
Public domain Εγώ, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, δημοσιεύω αυτό το έργο ως κοινό κτήμα. Αυτό ισχύει σε παγκόσμια κλίμακα.
Σε ορισμένες χώρες αυτό μπορεί να μην είναι νομικά εφικτό. Αν ναι:
Παραχωρώ σε οποιονδήποτε το δικαίωμα να χρησιμοποιήσει αυτό το έργο "για οποιονδήποτε σκοπό", χωρίς κανέναν όρο, εκτός και αν τέτοιοι όροι τίθενται από την νομοθεσία
άλλες εκδόσεις

Printable versions:

See also:

Λεζάντες

Δεν ορίστηκε λεζάντα

Items portrayed in this file

απεικονίζει

Ιστορικό αρχείου

Κλικάρετε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη τη στιγμή.

(τελευταίες | πρώτες) Εμφάνιση: νεότερων 10- (10 | 20 | 50 | 100 | 250 | 500).
Ώρα/Ημερομ.ΜικρογραφίαΔιαστάσειςΧρήστηςΣχόλια
τελευταία14:17, 13 Φεβρουαρίου 2023Μικρογραφία για την έκδοση της 14:17, 13 Φεβρουαρίου 2023744 × 1.052 (201 KB)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
14:14, 24 Ιουλίου 2021Μικρογραφία για την έκδοση της 14:14, 24 Ιουλίου 2021744 × 1.052 (201 KB)Watchduckrevert to last version by myself
14:59, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:59, 20 Ιουνίου 2021744 × 1.052 (193 KB)Mechachleopteryxwidened xor symbol
14:38, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:38, 20 Ιουνίου 2021744 × 1.052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14:33, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:33, 20 Ιουνίου 2021744 × 1.052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14:27, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:27, 20 Ιουνίου 2021744 × 1.052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14:24, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:24, 20 Ιουνίου 2021744 × 1.052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14:17, 20 Ιουνίου 2021Μικρογραφία για την έκδοση της 14:17, 20 Ιουνίου 2021744 × 1.052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
19:25, 7 Μαΐου 2010Μικρογραφία για την έκδοση της 19:25, 7 Μαΐου 2010744 × 1.052 (201 KB)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
17:00, 24 Αυγούστου 2009Μικρογραφία για την έκδοση της 17:00, 24 Αυγούστου 2009744 × 1.052 (206 KB)Watchduck
(τελευταίες | πρώτες) Εμφάνιση: νεότερων 10- (10 | 20 | 50 | 100 | 250 | 500).

Τα παρακάτω λήμματα συνδέουν σε αυτό το αρχείο:

Καθολική χρήση αρχείου

Τα ακόλουθα άλλα wiki χρησιμοποιούν αυτό το αρχείο:

Δείτε περισσότερη καθολική χρήση αυτού του αρχείου.

Μεταδεδομένα