Context
1100: ¬p
|
1101: ¬p OR q = p→q
|
1110: ¬p OR ¬q
|
1111: tautology
|
1000: ¬p AND ¬q
|
1001: p XNOR q
|
1010: ¬q
|
1011: p OR ¬q = p←q
|
0100: ¬p AND q
|
0101: q
|
0110: p XOR q
|
0111: p OR q
|
0000: contradiction
|
0001: p AND q
|
0010: p AND ¬q
|
0011: p
|
Description |
Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory
|
Source |
own work
|
Date |
2008/Jan/22
|
Author |
Tilman Piesk
|
Permission
(Reusing this image) |
publich domain
|
Licensing
|
I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide.
In case this is not legally possible:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +/-
|
وصلات
الصفحات التالية تحتوي على وصلة لهذه الصورة: