Fixed issue with converting logical expressions to DNF.