モジュール詳細：拡張ブール論理ベン図
いや、これは残酷じゃない。怠惰だ。
このモジュールは上部に5元ベン図と論理式を表示する。式を評価し、真となる条件に応じてベン図上のボタンを押す。演算子の表とモジュールが参照する対応するセクションは以下で確認することができる。次のページにはモジュールが参照する対応するセクションを拡大した画像が記されている。
| X ∧ Y AND |
X ∨ Y OR |
X ⊻ Y XOR |
X → Y IMPLIES |
 |
 |
 |
 |
| X | Y NAND |
X ↓ Y NOR |
X ↔ Y XNOR |
X ← Y IMPLIED BY |
 |
 |
 |
 |
