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

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

分类：离散数学(02324)
发表：2024年09月14日 03时09分33秒
作者： admin
阅读： (3)

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

Top