题目内容

设C1=P(x)∨~Q(x),C2=Q(g(x)),求二元归结式。

查看答案
更多问题

《荒芜纪》中尉迟雪送给纪宁防身的法宝叫做?

冬奥会中国年龄“最”大的冠军组合是?

对下列谓词公式分别指出哪些是约束变元?哪些是自由变元?并指出各量词的辖域。 (1)(x)(P(x,y)∨(y)(Q(x,y)∧R(x,y))) (2)(z)(y)(P(z,y)∨Q(z,x))∨R(u,v)

奥运会对跆拳道比赛的参赛人数有什么规定?

答案查题题库