题目内容

任何公式都有唯一的主合取范式?

A. 对
B. 错

查看答案
更多问题

求如下公式的主析取范式:(Ø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

答案查题题库