quine-mccluskey
A boolean algebra toolkit written in python
A powerful tool for minimizing Boolean functions