用等值演算法推导命题公式(P→Q ⋀R) ⋀(¬P→(¬Q ⋀R))的主析取范式

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

用等值演算法推导命题公式(P→Q ⋀R) ⋀(¬P→(¬Q ⋀R))的主析取范式
【正确答案】：

上一篇：求命题公式(Q⋀(¬P→(Q⋁¬(Q→R))))主析取范式。

下一篇：求公式(P→Q)⋀(Q→R)的主析取范式和主合取范式。