设和都是命题，则的真值为真当且仅当：（ ）。