Question

离散数学求证

写过程
((A ∧ B)→C) ∧ (B→(D ∨ C)) ≡ (B ∧ (D→A))→C

Answer 1

A⊕B=(A∪B)∩¬(A∩B) A⊕C=(A∪C)∩¬(A∩C) 则 （A⊕B）∩（A⊕C） =(A∪B)∩¬(A∩B)∩(A∪C)∩¬(A∩C) =[(A∪B)∩(A∪C)]∩¬((A∩C)∪(A∩B)) =[A∪(B∩C)]∩¬(A∩(B∪C)) =[A∪(B∩C)]∩(¬A∪¬(B∪C)) ={[A∪(B∩C)]∩¬A} ∪ {[A∪(B∩C)...