logical tools for logic
cli
definitions
errors
expressions
satisfiability
tables
transformations
trees