这是什么逻辑法则？

Question

p∧(~q∨s)⟺(~q∨s)∧p

这里代表的是什么逻辑法则？我认为它是关联的，但是 q 和 s 应该在命题的另一端交换以使它成立所以我被卡住了。

Answer 1

也就是所谓的交换性

a∧b = b∧a

对于逻辑表达式a,b。