Resolutionsregel – Teil 2

Gibt es ein Modell, das [[a,c]] (also a v c) wahr macht, aber nicht [[a,-b],[b,c]] (also (a v -b) & (b v c))?