Math 这是什么逻辑规律？

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

---

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

这就是所谓的交换性

a∧b = b∧a

---

对于逻辑表达式a，b.

这是一个编程问题吗？不是。假设在一个拥有计算机科学知识的社区里，有人可能会有所帮助。那么也许你应该继续问下去。我投票结束这个问题，因为它是关于逻辑的，而不是关于编程或软件开发的。