matlog (pypi): matlog — Boolean Algebra Parser+Solver
Keywords: math|mathematical|logic|boolean|algebra|boolean-algebra|truth-tables