Metoda isEmpty

Razredu OR in AND dodal metodi za preverjanje praznega seznama formul -
pride prav
Algoritem DPLL

Delo na implementaciji DPLL - ne dela še! Potrebno poenostavljanje ob
določitvi vrednosti spremenljivk. Nato še brute force metoda