An interpreter and visualizer for Boolean algebra.