问题标题:
离散数学求公式-(-Q∧(P->Q))的合取主范式.求教
问题描述:
离散数学求公式-(-Q∧(P->Q))的合取主范式.求教
沈予洪回答:
主合取范式:
-(-Q∧(P->Q))
-(-Q∧(-PVQ))
-((-Q∧-P)V(-Q∧Q))
-(-Q∧-P)
QVP
点击显示
数学推荐
热门数学推荐