Tập tin:Venn1100.svg

Từ testwiki
Bước tới điều hướng Bước tới tìm kiếm
Tập tin gốc (tập tin SVG, 380×280 điểm ảnh trên danh nghĩa, kích thước: 351 byte)

Tập tin này được lưu ở Wikimedia Commons và nó có thể được sử dụng ở các dự án khác. Lời miêu tả của tập tin tại trang mô tả được hiển thị dưới đây.

Miêu tả

One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:

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


Operations and relations in set theory and logic

 
c
          
A = A
1111 1111
 
Ac  Bc
true
A ↔ A
 
 B
 
 Bc
AA
 
 
 Bc
1110 0111 1110 0111
 
 Bc
¬A  ¬B
A → ¬B
 
 B
 B
A ← ¬B
 
Ac B
 
A B
A¬B
 
 
A = Bc
A¬B
 
 
A B
1101 0110 1011 1101 0110 1011
 
Bc
 ¬B
A ← B
 
A
 B
A ↔ ¬B
 
Ac
¬A  B
A → B
 
B
 
B =
AB
 
 
A = c
A¬B
 
 
A =
AB
 
 
B = c
1100 0101 1010 0011 1100 0101 1010 0011
¬B
 
 
 Bc
A
 
 
(A  B)c
¬A
 
 
Ac  B
B
 
Bfalse
 
Atrue
 
 
A = B
Afalse
 
Btrue
 
0100 1001 0010 0100 1001 0010
 ¬B
 
 
Ac  Bc
 B
 
 
 B
¬A  B
 
AB
 
1000 0001 1000 0001
¬A  ¬B
 
 
 B
 
 
A = Ac
0000 0000
false
A ↔ ¬A
A¬A
 
These sets (statements) have complements (negations).
They are in the opposite position within this matrix.
These relations are statements, and have negations.
They are shown in a separate matrix in the box below.



Tác phẩm này không đủ tiêu chuẩn để được bảo hộ bản quyền và do đó thuộc phạm vi công cộng vì nó chỉ hoàn toàn gồm những thông tin là tài sản chung và không chứa sự sáng tạo.

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 đó.

Ngày/GiờHình xem trướcKích cỡThành viênMiêu tả
hiện tại23:19, ngày 28 tháng 9 năm 2024Hình xem trước của phiên bản lúc 23:19, ngày 28 tháng 9 năm 2024380×280 (351 byte)wikimediacommons>WatchduckShade of red and thinner lines match other image sets.

Trang sau sử dụng tập tin này: