* Change the way the truth table shows, make it more readable.

* Now DNF and CNF show no more unnecessary brackets.
Remove binary file from repo