离散数学消解算法C语言编程题大神们帮帮忙
输入:合式公式A的合取范式输出:当A是可满足时,回答“yes”;否则回答“no”。符号说明:!非,相当于书面符号中的“”&与,相当于书面符号中的“∧”|或,相当于书面符号...
输入:合式公式 A 的合取范式 输出:当 A 是可满足时,回答“ yes ”;否则回答“ no ”。 符号说明: !非,相当于书面符号中的“ ” &与,相当于书面符号中的“∧” |或,相当于书面符号中的“∨” - 蕴含联结词,相当于书面符号中的“→” + 等价联结词,相当于书面符号中的“ ” ( 前括号 ) 后括号 输入:(!p|q)&(p|q)&(!q) 输出:NO 输入:p&(p|q)&(p|!q)&(q|!r)&(q|r) 输出:YES
展开
1个回答
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询