这两个等价吗
问题描述：
这两个等价吗
┐A∨(┐B∨A) 和 ┐A∨(┐A∨┐B)
注意括号里A加了个非符号
答
等价,析取可以交换
不好意思,少看了前面的非
析取满足结合律,括号可以展开
左边A析取非A永真,右边不一定
两个不相等