Dodal osnovne podatkovne strukture za formule
Funkcije za NNF.
Podatkovna struktura za CNF obliko.
CNF oblika kao deluje