题目内容

求如下公式的主析取范式：(Øp®q) ® (Øq∨p)

查看答案

搜索结果不匹配？点我反馈

更多问题

给定公式(p∨q) ®r , 该公式在全功能集{Ø,® }的形式为？

给定公式(p∨q) ®r , 该公式在全功能集{ ↑}的形式为？

构造下面推理的证明A）前提： p®（q®s）,q, p∨Ør结论： r®sB）前提： Ø (p∧Øq) , Øq∨r, Ør结论： Ø p

给定解释I如下：（1）个体域DI为整数集合；（2）a0 =0，a1=1；（3）f(x,y)=x-y,g(x,y)=x+y;（4）F(x,y)为x