一:需求分析
1．本程序需掌握樹(shù)和二叉樹(shù)的概念及工作原理，運(yùn)用其原理及概念完成實(shí)驗(yàn).。
2．問(wèn)題描述：
一個(gè)邏輯表達(dá)式如果對(duì)于其變?cè)娜我环N取值都為真，則稱為重言式；反之，如果對(duì)于其變?cè)娜我环N取值都為假，則稱為矛盾式；然而，更多的情況下，既非重言式，也非矛盾式。試寫(xiě)一程序，通過(guò)真值表判斷一個(gè)邏輯表達(dá)式屬于那一類。
3．基本要求：
（1）邏輯表達(dá)式從終端輸入，長(zhǎng)度不超過(guò)一行。邏輯運(yùn)算符包括“|”，“&”和“~”,
分別表示或、與和非，運(yùn)算優(yōu)先程度遞增，但可以有括號(hào)改變，即括號(hào)內(nèi)的運(yùn)算優(yōu)先。邏輯變?cè)獮榇髮?xiě)字母。表達(dá)式中任何地方都可以含有多個(gè)空格符。
（2）若是重言式或矛盾式，可以只“顯示True forever”或“False forever”，否則顯示“Satisfactible”以及變量名序列，與用戶交互。若用戶對(duì)表達(dá)式中變?cè)∫唤M值，程序就求出并顯示邏輯表達(dá)式的值。
標(biāo)簽：
分
二叉樹(shù)
程序
樹(shù)
上傳時(shí)間：
2015-11-14
上傳用戶：sz_hjbf
