boolean algebra simplifier python