Nova verziza CNF, dela na osnovnih primerih.
Dodana metoda za generiranje kombinacij (logicnih funkicj)
Testiranje novega CNF ja.
Ciscenje komentarjev.