これはどの論理的な法則ですか？

Question

p∧（〜q∨s）∧p

どのような論理法律がここに表示されていますか？私はそれが連想的だと思うが、qとsを命題の反対の端に入れ替えて、それを真実にしておく必要がある。 可換性論理式のため

a∧b = b∧a 

、Bと呼ばれる

Answer 1

。