Please see the notes below!

Note: if you want to combine multiple operations, it is best to use parenthesis to separate them. For example, instead of inputting ~~A, input ~(~A). If you don't follow this rule, you will most likely get some strange results.

Note: if you want to have two copies of the program to work with (so that you can, for example, view two different set graphs to see if they are equal), click on File and New Window/New Web Browser. Then, you can keep two copies of the same page running on two different browsers, so that you can do things such as compare sets.

Try it out: did you know that ~(A^B)u~(A^C) and ~(A^B^C) is a tautology? Try them out and see for yourself!