以下表达式中符合逻辑运算法则的是（）。