Hashing objektov, mini popravki, osnovna metoda DPLL, closes #3.
Implikacija, ekvivalenca, XOR (izpeljani razredi). Closes #5.