逻辑表达式“a∧b∨c∧(b∨x>0)”的后缀式为( )。(其中∧、∨分别表示逻辑与、逻辑或,>表示关系运算大于,对逻辑表达式进行短路求值)A.abcbx0>∨∧∧∨ B.ab∧c∨b∧x0>∨ C.ab∧cb∧x>0∨∨ D.ab∧cbx0>∨∧∨