那位离散数学大神能告诉我这些等式是如何变形的
1.为什么┐A∨(┐B∨A)等价于A∨(┐A∨┐B)?
2┐((A∧B)∨┐(A∨B)等价于(A∨B)∧┐(A∧B)?
3(((A∧B∧C)→D)∧(C→(A∨B∨D)))怎么用公式证明?
ps:这两天讲离散数学感觉真心好难,那位大哥大姐们能告诉我,感激不尽!