Remove debug prints.
Add initial support for normal forms and truth tables.