判断下列子句集中哪些是不可满足的： （1)S={～P∨Q，～Q，P，～P} （2)S={P∨Q，～P∨Q，P∨～Q，～P∨～Q}

判断下列子句集中哪些是不可满足的： (1)S={～P∨Q，～Q，P，～P} (2)S={P∨Q，～P∨Q，P∨～Q，～P∨～Q} (3)S={P(y)∨Q(y)，～P(f(x))∨R(a)} (4)S={～P(x)∨Q(x)，～P(y)∨R(y)，P(a)，S(a)，～S(z)∨～R(z)} (5)S={～P(x)∨～Q(y)∨～L(x，y)，P(a)，～R(z)∨L(a，z)，R(b)，Q(b)} (6)S={～P(x)∨Q(f(x)，a)，～P(h(y))∨Q(f(h(y))，a)∨～P(x)} (7)S={P(x)∨Q(z)∨R(x)，～P(y)∨R(y)，～Q(a)，～R(b)} (8)S={P(x)∨Q(z)，～Q(y)∨R(y)，～P(z)∨Q(z)，～R(u)}