原始檔案 (SVG 檔案,表面大小:380 × 280 像素,檔案大小:351位元組)


摘要

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

檔案歷史

點選日期/時間以檢視該時間的檔案版本。

日期/時間縮⁠圖尺寸使用者備⁠註
目前2024年9月28日 (六) 22:21於 2024年9月28日 (六) 22:21 版本的縮圖380 × 280(351位元組)WatchduckShade of red and thinner lines match other image sets.
2024年7月16日 (二) 15:45於 2024年7月16日 (二) 15:45 版本的縮圖400 × 300(614位元組)AntonsusiValid SVG
2024年3月1日 (五) 23:12於 2024年3月1日 (五) 23:12 版本的縮圖380 × 280(351位元組)Watchduckcleaner code and lighter red (overwritten with Pywikibot)
2023年7月24日 (一) 20:48於 2023年7月24日 (一) 20:48 版本的縮圖380 × 280(352位元組)SVG-image-makerRedrew with a text editor
2009年7月26日 (日) 14:13於 2009年7月26日 (日) 14:13 版本的縮圖384 × 280(3 KB)Watchduck
2008年1月26日 (六) 13:35於 2008年1月26日 (六) 13:35 版本的縮圖615 × 463(4 KB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
2008年1月22日 (二) 16:07於 2008年1月22日 (二) 16:07 版本的縮圖615 × 463(4 KB)Watchduck{{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }}

下列頁面有用到此檔案:

全域檔案使用狀況

以下其他 wiki 使用了這個檔案:

詮釋資料