以下逻辑表达式的值恒为真的是（    ）。