邏輯表達(dá)式成立。