Discrete Math
Unions and Intersections
Union in Set Theory
Logic and Sets
Defining relations on sets
Another logic calculator - quite good
SymPy - python library for logic
Power Set Calculator