等价,析取可以交换
不好意思,少看了前面的非
析取满足结合律,括号可以展开
左边A析取非A永真,右边不一定
两个不相等