the Boolean expression toolbox
cli
definitions
errors
expressions
satisfiability
tables
transformations
trees