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