跳转到内容

File:Venn0000.svg

页面内容不支持其他语言。
这个文件来自维基共享资源
维基百科,自由的百科全书

原始文件 (SVG文件,尺寸为380 × 280像素,文件大小:352字节)


摘要

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.



此作品不具有版权,属于公有领域,因为其所包含之内容均为公共财产且没有明确的原始作者信息

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描绘内容

image/svg+xml

文件历史

点击某个日期/时间查看对应时刻的文件。

最新 | 最早) 查看(较新10条 | )(10 | 20 | 50 | 100 | 250 | 500
日期/时间缩⁠略⁠图大小用户备注
当前2024年9月28日 (六) 22:162024年9月28日 (六) 22:16版本的缩略图380 × 280(352字节)WatchduckThinner lines match other image sets.
2024年7月16日 (二) 15:142024年7月16日 (二) 15:14版本的缩略图400 × 300(517字节)Antonsusivalidizing, easier code
2023年7月24日 (一) 20:132023年7月24日 (一) 20:13版本的缩略图380 × 280(352字节)SVG-image-makerRecoded manually by use of text editor
2009年7月26日 (日) 14:052009年7月26日 (日) 14:05版本的缩略图384 × 280(3 KB)Watchduck
2008年1月26日 (六) 13:232008年1月26日 (六) 13:23版本的缩略图615 × 463(4 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
2008年1月22日 (二) 15:212008年1月22日 (二) 15:21版本的缩略图615 × 463(4 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
2008年1月22日 (二) 14:442008年1月22日 (二) 14:44版本的缩略图480 × 360(3 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
2008年1月22日 (二) 14:382008年1月22日 (二) 14:38版本的缩略图480 × 360(3 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
2008年1月22日 (二) 14:322008年1月22日 (二) 14:32版本的缩略图480 × 360(3 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
2008年1月22日 (二) 14:252008年1月22日 (二) 14:25版本的缩略图480 × 360(3 KB)Watchduck{{Information |Description= |Source= |Date= |Author= |Permission= |other_versions= }}
最新 | 最早) 查看(较新10条 | )(10 | 20 | 50 | 100 | 250 | 500

以下2个页面使用本文件:

全域文件用途

以下其他wiki使用此文件:

元数据