求公式(Q→P)∧(┓P∧Q)的主合取范式

问题描述:

求公式(Q→P)∧(┓P∧Q)的主合取范式