cize ak mam take funkcie :
~/negacia
~x v y,....~x v z,....x v y,....~y v x,.....~x v ~y v z
tak je jedno ci ako prve zoberiem x alebo y ?? z-ko nemozem lebo nema negaciu... alebo je potrebne poyerat aj nato kolo 0,1 je mozne danej premennej pridelit... cim viac tym skor tu premennu urcim.