Berkas:Logical connectives Hasse diagram.svg

Dari testwiki
Loncat ke navigasi Loncat ke pencarian
Ukuran asli (Berkas SVG, secara nominal 794 × 1.123 piksel, besar berkas: 201 KB)

Berkas ini berasal dari Wikimedia Commons dan mungkin digunakan oleh proyek-proyek lain. Deskripsi dari halaman deskripsinya ditunjukkan di bawah ini.

Ringkasan

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)


Deskripsi
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.
Tanggal
Sumber Karya sendiri
Pembuat
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Izin
(Menggunakan kembali berkas ini)
Public domain Saya, pemegang hak cipta karya ini, merilis karya ini ke domain umum. Lisensi ini berlaku di seluruh dunia.
Di sejumlah negara, tindakan ini tidak memungkinkan secara sah; bila seperti itu:
Saya memberikan siapa pun hak untuk menggunakan karya ini untuk tujuan apa pun, tanpa persyaratan apa pun, kecuali yang ditetapkan oleh hukum.
Versi lainnya

Printable versions:

See also:

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

menggambarkan

15 Mei 2009

image/svg+xml

Riwayat berkas

Klik pada tanggal/waktu untuk melihat berkas ini pada saat tersebut.

Tanggal/WaktuMiniaturDimensiPenggunaKomentar
terkini18 Juni 2025 00.20Miniatur versi sejak 18 Juni 2025 00.20794 × 1.123 (201 KB)wikimediacommons>Watchducklighter red (overwritten with Pywikibot)

Halaman berikut menggunakan berkas ini: