b）命題論理の解決方法を使用して、
次の条項のセットは不満です。
{{c、¬c、a}、{c、¬a}、{¬b、a}、{¬b、c}、{¬c}、{a、b}}
句のセット{{c、¬c、a}、{c、a}、{¬b、¬a}、{¬b、c}、{¬c}、{a、b}}を示す不満であるため、解像度方法を使用できます。

まず、条項のすべての可能なペアを書き留めます。

{c、¬c、a}および{c、¬a}から：cで解決して{¬a、a}を取得できます。これは、空の句{}に単純化できます。
{¬b、¬a}および{¬b、c}から：歩数を解決して{¬a、c}を取得できます。これは{¬a、c}に簡素化できます。
{¬c}および{¬a、c}から：{¬a}に単純化できる{¬a}を取得するためにcで解決できます。
{a、b}および{¬a}から：aで解決して{b}を取得できますが、これはさらに簡素化できません。
この時点で、空の句{}を取得しました。これは、条項のセットが不満であることを示しています。したがって、すべての条項を満たす真実の割り当てはなく、条項のセットは矛盾しています。