邏輯表達(dá)式“a∧b∨c∧（b∨x>0）”的后綴式為（）。（其中∧、∨分別表示邏輯與、邏輯或，>表示關(guān)系運(yùn)算大于，對(duì)邏輯表達(dá)式進(jìn)行短路求值）

A.abcbx0>∨∧∧∨
B.ab∧C∨b∧x0>∨
C.ab∧cb∧x>0∨∨
D.ab∧cbx0>∨∧∨
正確答案：D
答案解析：后綴式也稱為逆波蘭式，是波蘭邏輯學(xué)家盧卡維奇發(fā)明的一種表達(dá)表達(dá)式的方法。他把運(yùn)算符號(hào)寫在運(yùn)算對(duì)象的后面。將一個(gè)普通的中序表達(dá)式轉(zhuǎn)換為逆波蘭表達(dá)式的一般算法是：（1）首先構(gòu)造一個(gè)運(yùn)算符棧，此運(yùn)算符在棧內(nèi)遵循越往棧頂優(yōu)先級(jí)越高的原則。（2）讀入一個(gè)用中綴表示的簡(jiǎn)單算術(shù)表達(dá)式，為方便起見，設(shè)該簡(jiǎn)單算術(shù)表達(dá)式的右端多加上了優(yōu)先級(jí)最低的特殊符號(hào)“#”。（3）從左至右掃描該算術(shù)表達(dá)式，從第一個(gè)字符開始判斷，如果該字符是數(shù)字，則分析到該數(shù)字串的結(jié)束并將該數(shù)字串直接輸出。（4）如果不是數(shù)字，該字符則是運(yùn)算符，此時(shí)需比較優(yōu)先關(guān)系。