%% Autor: mk
%% Datum: 20.8.2007

nicht(0,1).
nicht(1,0).

oder(0,0,0).
oder(0,1,1).
oder(1,0,1).
oder(1,1,1).

und(0,0,0).
und(0,1,0).
und(1,0,0).
und(1,1,1).

exor(0,0,0).
exor(0,1,1).
exor(1,0,1).
exor(1,1,0).

impl(0,0,1).
impl(0,1,1).
impl(1,0,0).
impl(1,1,1).

equ(0,0,1).
equ(0,1,0).
equ(1,0,0).
equ(1,1,1).

loesung(A,B,C) :- nicht(B,NotB),impl(NotB,A,1),
                  und(A,B,AandB),nicht(C,NotC),impl(AandB,NotC,1),
                  oder(C,NotB,CorNotB),nicht(A,NotA),impl(CorNotB,NotA,1).