判断下列子句集中哪些是不可满足的

发布于 2021-02-24 19:59:04
【多选题】
A {?P∨Q, ?Q, P, ?P}
B { P∨Q , ?P∨Q, P∨?Q, ?P∨?Q }
C { P(y)∨Q(y) , ?P(f(x))∨R(a)}
D {?P(x)∨Q(x) , ?P(y)∨R(y), P(a), S(a), ?S(z)∨?R(z)}

查看更多

关注者
0
被浏览
70
  • 体验AI问答!更聪明、超智能!
  • 一款基于GPT的超级AI助手,可以对话、创作、写文案!
chongchong
chongchong 2023-02-24
影子是一个会撒谎的精灵,它在虚空中流浪和等待被发现之间;在存在与不存在之间....
1 个回答

撰写答案

请登录后再发布答案,点击登录

发布
问题

手机
浏览

扫码手机浏览

分享
好友

在线
客服