b）命題論理の解決方法を使用して、
次の条項のセットは不満です。
{{c、¬c、a}、{c、¬a}、{¬b、a}、{¬b、c}、{¬c}、{a、b}}
b) Use the resolution method of propositional logic to show that
the following set of clauses is unsatisfiable:
{{C, ¬C, A}, {C, ¬A}, {¬B, ¬A}, {¬B, C}, {¬C}, {A, B}}