Plik:Logical connectives Hasse diagram.svg

Treść strony nie jest dostępna w innych językach.
Ten plik jest umieszczony w Wikimedia Commons
Z Wikipedii, wolnej encyklopedii

Rozmiar pierwotny(Plik SVG, nominalnie 744 × 1052 pikseli, rozmiar pliku: 201 KB)

Opis

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)


Opis
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
Źródło Praca własna
Autor
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Licencja
(Ponowne użycie tego pliku)
Public domain Ja, właściciel praw autorskich do tej pracy, udostępniam ją jako własność publiczną. Dotyczy to całego świata.
W niektórych krajach może nie być to prawnie możliwe, jeśli tak, to:
Zapewniam każdemu prawo do użycia tej pracy w dowolnym celu, bez żadnych ograniczeń, chyba że te ograniczenia są wymagane przez prawo.
Inne wersje

Printable versions:

See also:

Podpisy

Dodaj jednolinijkowe objaśnienie tego, co ten plik pokazuje

Obiekty przedstawione na tym zdjęciu

przedstawia

image/svg+xml

Historia pliku

Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.

(od najnowszych | od najstarszych) Zobacz (10 nowszych | ) (10 | 20 | 50 | 100 | 250 | 500)
Data i czasMiniaturaWymiaryUżytkownikOpis
aktualny16:17, 13 lut 2023Miniatura wersji z 16:17, 13 lut 2023744 × 1052 (201 KB)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
16:14, 24 lip 2021Miniatura wersji z 16:14, 24 lip 2021744 × 1052 (201 KB)Watchduckrevert to last version by myself
16:59, 20 cze 2021Miniatura wersji z 16:59, 20 cze 2021744 × 1052 (193 KB)Mechachleopteryxwidened xor symbol
16:38, 20 cze 2021Miniatura wersji z 16:38, 20 cze 2021744 × 1052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
16:33, 20 cze 2021Miniatura wersji z 16:33, 20 cze 2021744 × 1052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
16:27, 20 cze 2021Miniatura wersji z 16:27, 20 cze 2021744 × 1052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
16:24, 20 cze 2021Miniatura wersji z 16:24, 20 cze 2021744 × 1052 (201 KB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
16:17, 20 cze 2021Miniatura wersji z 16:17, 20 cze 2021744 × 1052 (193 KB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
21:25, 7 maj 2010Miniatura wersji z 21:25, 7 maj 2010744 × 1052 (201 KB)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
19:00, 24 sie 2009Miniatura wersji z 19:00, 24 sie 2009744 × 1052 (206 KB)Watchduck
(od najnowszych | od najstarszych) Zobacz (10 nowszych | ) (10 | 20 | 50 | 100 | 250 | 500)

Żadna strona nie korzysta z tego pliku.

Globalne wykorzystanie pliku

Ten plik jest wykorzystywany także w innych projektach wiki:

Pokaż listę globalnego wykorzystania tego pliku.

Metadane