命題邏輯復(fù)習(xí)題和答案-文庫(kù)吧
2025-07-21 05:51 本頁(yè)面
【正文】 取式的真值為1.任意兩個(gè)不同極大項(xiàng)的析取式的真值為1，而全體極大項(xiàng)的合取式的真值為0.1個(gè)命題變?cè)蓸?gòu)造包括的不同的主析取范式類別為.1個(gè)命題變?cè)蓸?gòu)造包括的不同的主合取范式類別為.三、問(wèn)答題（每題6分）設(shè)、是任意命題公式，請(qǐng)問(wèn)分別表示什么？其有何關(guān)系？答：表示蘊(yùn)含，表示永真蘊(yùn)含；其關(guān)系表現(xiàn)為：若為永真式，則有.設(shè)、是任意命題公式，請(qǐng)問(wèn)分別表示什么？其有何關(guān)系？答：表示等值于，表示與邏輯等價(jià)；其關(guān)系表現(xiàn)為：若為永真式，則有.設(shè)、是任意命題公式，若 ，則成立嗎？為什么？答：不一定有；若為真，為假，為真，則成立，但不成立.設(shè)、是任意命題公式，若 ，則成立嗎？為什么？答：不一定有；若為真，為假，為假，則成立，但不成立.設(shè)、是任意命題公式，一定為真嗎？為什么？答：一定為真；因.（用真值表也可證明）設(shè)、是任意命題公式，一定為真嗎？為什么？答：一定為真；因.（用真值表也可證明）四、填表計(jì)算題（每題10分）對(duì)命題公式 ，要求（1）用或填補(bǔ)其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：001000011010100111111010主析取范式 ；主合取范式.對(duì)命題公式 ，要求（1）用或填補(bǔ)其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：0001000111010100111110001101001101011111主析取范式 ；主合取范式.對(duì)命題公式 ，要求（1）用或填補(bǔ)其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解：000000001000010000011000100000101011110101111111主析取范式 ；主合取范式.對(duì)命題公式，要求（1）用或填補(bǔ)其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解： 00010100011010010111101111111000100101011111001001110111 主析取范式 ；主合取范式.對(duì)命題公式，要求（1）用或填補(bǔ)其真值表的空格處；（2）求該命題公式的主析取范式與主合取范式.解： 00011100011111010101001110111000110101011111000011110001 主析取范式 ；主合取范式.
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1