【正文】
① p 附加前提引入② ①附加③ 前提引入④ ②③假言推理⑤ s ④化簡⑥ ⑤附加⑦ 前提引入⑧ u ⑥⑦假言推理故推理正確。用真值表法求下面公式的主析取范式:(1)解:公式的真值表如下:00010000011011010110101111111000101101010111001011110101由真值表可以看出成真賦值的情況有7種,此7種成真賦值所對應(yīng)的極小項的析取即為主析取范式,故主析取范式習(xí)題三及答案:(P5254)1填充下面推理證明中沒有寫出的推理規(guī)則。求下列公式的主析取范式,再用主析取范式求主合取范式:(1)解:原式 ,此即主析取范式。離散數(shù)學(xué)習(xí)題答案習(xí)題二及答案:(P38)求下列公式的主析取范式,并求成真賦值:(2)解:原式 ,此即公式的主析取范式,所以成真賦值為011,111。求下列公式的主合取范式,并求成假賦值:(2)解:原式,此即公式的主合取范式,所以成假賦值為100。主析取范式中沒出現(xiàn)的極小項為,所以主合取范式中