Some tools that I created to make my life ever so slightly easier.
Truth Table Generator: Generates truth table based on logical formula.
Set Operations Solver: Solves operations of finite sets.