单项选择题逻辑表达式“a∧b∨c∧(b∨x＞0)”的后缀式为______。(其中∧、∨分别表示逻辑与、逻辑或，＞表示关系运算大于，对逻辑表达式进行短路求值)
单项选择题下图所示为两个有限自动机M1和M2(A是初态、C是终态)，______。
