Popravki CNF/DNF - dodano sploščevanje, dodan program za predstavitev sudokujev z logičnimi izrazi.