whw(w).
whw(f).

nicht(w,f).
nicht(f,w).

und(w,w,w).
und(w,f,f).
und(f,w,f).
und(f,f,f).

imp(w,w,w).
imp(w,f,f).
imp(f,w,w).
imp(f,f,w).
