Removed unused code from truth_table
Added test_dnf