This is a tool for exploring Venn diagrams. It is based on the official tool provided by The School of Informatics.
Heads up! Only WebKit based browsers (Chrome, Safari, Opera, etc) are supported.
This diagram shows the state represented by each region.
- The three propositional letters: R A G (may also be written as "red", etc.)
- ∨: or ||
- ∧: and &&
- ¬: not !
- T: true 1 T
- ⊥: false 0 F
- ⊕: xor ^
- ↔ (if and only if): iff ==
A ? B : Cessentially represents
if A then B else C