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

點擊標簽查看更多相關資源：