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