vyhodnot(pla, pla).
vyhodnot(nepla, nepla).

vyhodnot(ne(X), nepla) :- vyhodnot(X, pla).
vyhodnot(ne(X), pla) :- vyhodnot(X, nepla).

vyhodnot(a(X,Y), Z) :-
	vyhodnot(X, HX),
	vyhodnot(Y, HY),
	(HX=pla,
		HY=pla,
		Z=pla;
	 (HX=nepla;HY=nepla),
	 	Z=nepla).
vyhodnot(nebo(X,Y), Z) :-
	vyhodnot(X,HX),
	vyhodnot(Y,HY),
	(HX=nepla,
		HY=nepla,
		Z=nepla;
	 (HX=pla;HY=pla),
	 	Z=pla).