Python Logic Simplifier Logical expression simplifier written in Python. It uses the Quine–McCluskey algorithm.