Truth Table capabilities

We can do a lot of basic stuff about truth table of propositional expressions evaluation.

I attached a binary version as REPL mode for the truth-table algorithm