Resolutionsregel – Teil 3

Ergänze die Wahrheitswerte der Aussagensymbole, um ein Modell zu erhalten, in dem [[a,c]] wahr und [[a,-b],[b,c]] falsch ist.