:- op(700,fy,nicht).
:- op(720,xfx,und).

% wahrheitswert(A,W): Aussage A hat den Wahrheitswert W.
wahrheitswert('2 ist ungerade',f).
wahrheitswert('3 ist eine Primzahl',w).
wahrheitswert(nicht(A),f) :-
  wahrheitswert(A,w).
wahrheitswert(nicht A,w) :-
  wahrheitswert(A,f).
wahrheitswert(und(A,B),f) :-
  wahrheitswert(A,f),
  wahrheitswert(B,w).
