這是什麼邏輯法？

Question

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

這是什麼邏輯定律？我認爲這是聯想性的，但是q和s應該在命題的另一端交換，以便使其成爲真實的，所以我被卡住了。

Answer 1

這就是所謂可交換

a∧b = b∧a 

爲邏輯表達式的a，b。