added constants to DNF->truthtable