这是什么逻辑法？

Question

p∧（〜q∨s）⟺（〜q∨s）∧p

这是什么逻辑定律？我认为这是联想性的，但是q和s应该在命题的另一端交换，以便使其成为真实的，所以我被卡住了。

Answer 1

这就是所谓可交换

a∧b = b∧a 

为逻辑表达式的a，b。