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