Tập tin:Logical connectives Hasse diagram.svg

Tập tin gốc(tập tin SVG, 744×1.052 điểm ảnh trên danh nghĩa, kích thước: 201 kB)

Miêu tả

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)


Miêu tả
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.
Ngày
Nguồn gốc Tác phẩm được tạo bởi người tải lên
Tác giả
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Giấy phép
(Dùng lại tập tin)
Public domain Tôi, người giữ bản quyền của tác phẩm này, chuyển tác phẩm này vào phạm vi công cộng. Điều này có giá trị trên toàn thế giới.
Tại một quốc gia mà luật pháp không cho phép điều này, thì:
Tôi cho phép tất cả mọi người được quyền sử dụng tác phẩm này với bất cứ mục đích nào, không kèm theo bất kỳ điều kiện nào, trừ phi luật pháp yêu cầu những điều kiện đó.
Phiên bản khác

Printable versions:

See also:

Chú thích

Ghi một dòng giải thích những gì có trong tập tin này

Khoản mục được tả trong tập tin này

mô tả

Lịch sử tập tin

Nhấn vào ngày/giờ để xem nội dung tập tin tại thời điểm đó.

(Mới nhất | Cũ nhất) Xem (10 mới hơn) () (10 | 20 | 50 | 100 | 250 | 500)
Ngày/giờHình xem trướcKích cỡThành viênMiêu tả
hiện tại14:17, ngày 13 tháng 2 năm 2023Hình xem trước của phiên bản lúc 14:17, ngày 13 tháng 2 năm 2023744×1.052 (201 kB)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
14:14, ngày 24 tháng 7 năm 2021Hình xem trước của phiên bản lúc 14:14, ngày 24 tháng 7 năm 2021744×1.052 (201 kB)Watchduckrevert to last version by myself
14:59, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:59, ngày 20 tháng 6 năm 2021744×1.052 (193 kB)Mechachleopteryxwidened xor symbol
14:38, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:38, ngày 20 tháng 6 năm 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, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:33, ngày 20 tháng 6 năm 2021744×1.052 (201 kB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14:27, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:27, ngày 20 tháng 6 năm 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, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:24, ngày 20 tháng 6 năm 2021744×1.052 (201 kB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14:17, ngày 20 tháng 6 năm 2021Hình xem trước của phiên bản lúc 14:17, ngày 20 tháng 6 năm 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, ngày 7 tháng 5 năm 2010Hình xem trước của phiên bản lúc 19:25, ngày 7 tháng 5 năm 2010744×1.052 (201 kB)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
17:00, ngày 24 tháng 8 năm 2009Hình xem trước của phiên bản lúc 17:00, ngày 24 tháng 8 năm 2009744×1.052 (206 kB)Watchduck
(Mới nhất | Cũ nhất) Xem (10 mới hơn) () (10 | 20 | 50 | 100 | 250 | 500)
Có 2 trang tại Wikipedia tiếng Việt có liên kết đến tập tin (không hiển thị trang ở các dự án khác):

Sử dụng tập tin toàn cục

Những wiki sau đang sử dụng tập tin này:

Xem thêm các trang toàn cục sử dụng tập tin này.

Đặc tính hình