The objective of this librarie is generating Truth tables using a simple language that looks like a programming language. The truth table can have as many proposition as the user wants and can make as many operations he wants, but every simple operation needs to be a new column of the table. Check the example table below: