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