单项选择题

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

A.abcbx0>∨∧∧∨
B.ab∧c∨b∧x0>∨
C.ab∧cb∧x>0∨∨
D.ab∧cbx0>∨∧∨