NNF, CNF, DNF delujejo.