Basic Boolean Logic Simplifier