Added dnf support
Added dnf to truth_table method