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