非结算会员委托全面结算会员结算，非结算会员下达的交易指令应当经全面结算会员期货公司审查或者结算验证后进入期货交易所。（）

“要么武松打死老虎，要么老虎吃了武松”，若用p、q作变项，可表示为______。