tables
tables.truth_table
logical tools for logic
cli
definitions
errors
expressions
transformations
trees