truth-tables
truth-table-generator is a tool that allows to generate a truth table
matlog — Boolean Algebra Parser+Solver
Print lovely formatted truth tables from any boolean logic expression!
