Guix

This is a small Python library that implements boolean algebra. It defines two base elements, TRUE and FALSE, and a Symbol class that can take on one of these two values. Calculations are done only in terms of AND, OR, and NOT---other compositions like XOR and NAND are emulated on top of them. Expressions are constructed from parsed strings or directly in Python.