Simple tool to generate truth tables for a logical statement and all its sub-statements.