用等值演算法求命题公式¬(¬P⋀Q)⋁Q的主合取范式,并给出成假赋值

2024-08-03 23:47:33
离散数学(02324)

用等值演算法求命题公式¬(¬P⋀Q)⋁Q的主合取范式,并给出成假赋值
【正确答案】：

上一篇：用推理法证明以下各式成立。(1)¬(P⋀¬Q),¬QⅤR,¬R⊦¬P;(2)(PⅤQ),(P→R),(Q→S)⊦SⅤR;(3)W

下一篇：用等值演算求的主析取范式。