Question

离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教

Answer 1

主合取范式：

-(-Q∧(P->Q))

-(-Q∧(-PVQ))

-((-Q∧-P)V(-Q∧Q))

-(-Q∧-P)

QVP