vyhodnot(pla).
vyhodnot(ne(X)) :- (vyhodnot(X),!,fail);true. 
vyhodnot(a(X,Y)):- vyhodnot(X),vyhodnot(Y).
vyhodnot(nebo(X,Y)) :- vyhodnot(X);vyhodnot(Y).