[计算题,5分] 求┐(P→Q) (P→┐Q)的主合取范式并给出所有使命题为真的赋值。
出自:河南理工大学-计算机科学与技术-离散数学