začetek vaje 2

boolove formule potrebno dodelati (NOT) in je zaključeno

odprt nov dokument za vajo 2  - redukcijo primerov na SAT