南邮 | 离散数学实验一：利用真值表法求取主析取范式以及主合取范式的实现

题目：根据给定的式子，先输出其真值表，再利用真值表法求取主析取范式以及主合取范式，输出答案。 举例：以 (P^Q) V (非P^R) 为例。 程序代码 //(P^Q) V (非P^R) //主合取范式: (非PVQV非R) ^ (非PVQVR) ^ (PV非QVR) ^ (PVQVR) //主析取范式: (P^Q^R) V (P^Q^非R) V (非P^Q^R) V (非P^非Q^R) #incl

>>阅读原文<<