一:需求分析
1．本程序需掌握樹和二叉樹的概念及工作原理，運用其原理及概念完成實驗.。
2．問題描述：
一個邏輯表達式如果對于其變元的任一種取值都為真，則稱為重言式；反之，如果對于其變元的任一種取值都為假，則稱為矛盾式；然而，更多的情況下，既非重言式，也非矛盾式。試寫一程序，通過真值表判斷一個邏輯表達式屬于那一類。
3．基本要求：
（1）邏輯表達式從終端輸入，長度不超過一行。邏輯運算符包括“|”，“&”和“~”,
分別表示或、與和非，運算優先程度遞增，但可以有括號改變，即括號內的運算優先。邏輯變元為大寫字母。表達式中任何地方都可以含有多個空格符。
（2）若是重言式或矛盾式，可以只“顯示True forever”或“False forever”，否則顯示“Satisfactible”以及變量名序列，與用戶交互。若用戶對表達式中變元取一組值，程序就求出并顯示邏輯表達式的值。
標簽：
分
二叉樹
程序
樹
上傳時間：
2015-11-14
上傳用戶：sz_hjbf
