成績
100開啟時間
2023年04月6日 星期四 08:00
折扣0.8
折扣時間
2023年05月5日 星期五 08:00
允許遲交
否關閉時間
2023年05月18日 星期四 23:55
實現功能：輸入命題公式的合式公式，求出公式的真值表，並輸出該公式的主合取正規化和主析取正規化。
輸入：命題公式的合式公式
輸出：公式的主析取正規化和主析取正規化，輸出形式為：「 mi ∨ mj ; mi ∧ mj」 ，極小項和 ∨ 符號之間有乙個空格，極大項和 ∧ 符號之間有乙個空格；主析取正規化和主合取正規化之間用「 ; 」隔開，「 ; 」前後各有乙個空格。 永真式的主合取正規化為 1 ，永假式的主析取正規化為 0 。
輸入公式的符號說明：
! 非，相當於書面符號中的 「 ¬ 」
& 與，相當於書面符號中的 「 ∧ 」
| 或，相當於書面符號中的 「 ∨ 」
- 蘊含聯結詞，相當於書面符號中的 「 → 」
+ 等價聯結詞，相當於書面符號中的 「 ↔ 」
( 前括號
) 後括號
測試輸入
期待的輸出
時間限制
記憶體限制
額外程序
測試用例 1
以文字方式顯示
a&b↵
以文字方式顯示
m3 ; m0 ∧ m1 ∧ m2↵
無限制64m0
測試用例 2
以文字方式顯示
a|b↵
以文字方式顯示
m1 ∨ m2 ∨ m3 ; m0↵
無限制64m0
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
#include "math.h"
#define n 50
void panduan(int b[n],int f) // 二進位制賦值。 }
int tkh (char sz[n],char ccu[n],int icu[n],int h0)//分級運算函式
} printf(" ; ");
if(hq[0]==-1)//不存在合取正規化時
printf("1\n");
else
printf("\n"); } }
求命題公式的主正規化
實現功能 輸入命題公式的合式公式，求出公式的真值表，並輸出該公式的主合取正規化和主析取正規化。輸入 命題公式的合式公式 輸出 公式的主析取正規化和主析取正規化，輸出形式為 mi mj mi mj 極小項和 符號之間有乙個空格，極大項和 符號之間有乙個空格 主析取正規化和主合取正規化之間用 隔開，前後...
離散數學 求命題公式的主正規化
實現功能 輸入命題公式的合式公式，求出公式的真值表，並輸出該公式的主合取正規化和主析取正規化。輸入 命題公式的合式公式 輸出 公式的主析取正規化和主析取正規化，輸出形式為 mi mj mi mj 極小項和 符號之間有乙個空格，極大項和 符號之間有乙個空格 主析取正規化和主合取正規化之間用 隔開，前後...
C 實現求主析取正規化 主合取正規化
離散數學第一次上機實驗，突擊學完什麼是主析取正規化和主合取正規化之後粗略地想了下實現的思路。第一步自然是把輸入的式子轉換成字尾表示式。結合資料結構書上對基本四則運算的 和前人的思路勉強寫出來乙個，但還是有很多地方可能一轉頭就會忘了怎麼實現。轉換成字尾表示式之後的事情就顯得輕鬆多了。下面貼 inclu...