这是什么逻辑法？

Question

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

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

Answer 1

这称为可交换性

a∧b = b∧a

表示逻辑表达式a，b。