boolean expression manipulator for educational purposes - View it on GitHub