Ich suche eine Menge logischer Formeln {F1,F2,F3} die unerfüllbar ist aber die Mengen {F1,F2} ,{F2,F3} und {F1,F3} müssen erfüllbar sein. Kann mir jemand einen Tipp geben?
\(F_1=A, \; F_2=B, \; F_3=\lnot(A\wedge B)\)
