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