离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教
问题描述：
离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教
答
Q∨P,是正确的.
答
主合取范式：
-(-Q∧(P->Q))
-(-Q∧(-PVQ))
-((-Q∧-P)V(-Q∧Q))
-(-Q∧-P)
QVP