This is a tool for exploring Venn diagrams. The diagrams
presented are randomly generated.
You can change the first diagram (in the top left corner) by entering a Boolean
expression using the three propositional letters
G. The diagram to the left
shows the state represented by each region.
notation. As well as the letters
&& (AND), and
! (NOT), you can use the constants
false (FALSE). You can also use the conditional
(IF THEN ELSE, or ITE), spaces, and parentheses
The text in the input box will turn red when you enter symbols other than those specified above. The Venn diagram will change whenever the text in the box constitutes a well-formed expression.
You can change the number of diagrams displayed. For example, the URL
will display a 2x2 array; n can be any integer in the range 1-16.