南郵 | 離散數學實驗一：利用真值表法求取主析取範式以及主合取範式的實現

題目：根據給定的式子，先輸出其真值表，再利用真值表法求取主析取範式以及主合取範式，輸出答案。 舉例：以 (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

>>阅读原文<<