1.2萬字 有程序代碼
目的：熟練掌握二叉樹的存儲結(jié)構(gòu)及其基本操作（包括二叉樹的建立、遍歷等）。
2.一個(gè)邏輯表達(dá)式如果對于其變元的任一種取值都為真，則稱為重言式；反之，如果對于其變元的任一種取值都為假，則稱為矛盾式；然而，更多情況下，既非重言式，也非矛盾式。試寫一程序，通過真值表判別表達(dá)式屬于上述哪一類。
　　3.邏輯表達(dá)式從終端輸入，長度不超過一行。邏輯運(yùn)算符包括“|”，“&”，“～”，分別表示或、與和非，運(yùn)算優(yōu)先程度遞增，但可以由括號改變，即括號內(nèi)的運(yùn)算優(yōu)先。邏輯變元為大寫字母。表達(dá)式中任何地方都可以包含多個(gè)空格符。
4.若是重言式或矛盾式，則顯示“True forever”或“False forever”，否則顯示“Statisfactible”以及變量名序列，供用戶輸入各變量名的值，程序然后顯示表達(dá)式的值。
5. 程序執(zhí)行的命令包括：
(1) 輸入邏輯表達(dá)式的變量的個(gè)數(shù)；（2）輸入邏輯表達(dá)式的表達(dá)式(或用'|',與用'&'和非用'~')；（3）選擇需要的操作；（4）結(jié)束。
　　6．測試數(shù)據(jù)：
　?。?）（A | ～A）& （B | ～B）
　　（2）（A &～A）& C
　?。?）A | B | C | D | E | ～A
　?。?）A & B & C & ～B
　?。?）（A | B ）&（A | ～B）
（6）A & ～B | ～A &B;0,0;0,1;1,0;1,1。
7選做內(nèi)容：
邏輯變元的標(biāo)識符可以是任意長的字母數(shù)字串。還可以根據(jù)用戶的要求顯示表達(dá)式的真值表。