离散数学化简（A∧B∧C）∨（非A∧B∧C）

离散数学化简（A∧B∧C）∨（非A∧B∧C） 离散数学化简命题(A∨B∨C)∧(┐A∧B∧C)命题如何化简, 离散数学-一阶逻辑中 拒取式：(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A? 离散数学(﹁A∧﹁B)∨(﹁A∧﹁B)等于什么?(﹁C∧D)∧(C∧﹁D)等于什么? 再来一道离散数学证明等价式(((A∧B∧C)→D)∧(C→A∨B∨D)))推出((C∧(A↔B))→D) 离散数学(a-b)-c=(a-c)-b怎么证 化简下述集合公式（离散数学） (A∩B∩C）∪（A∩~B∩C）∪（~A∩B∩C） 逻辑代数化简F=非（非A*B+A*非B+AB+非A*非B）+非C 两个关于离散数学的问题~急!1、┐(P∨Q∨R) 等价于 ┐P∧┐Q∧┐R 吗?2、（A∨B）∧（C∨D）等价于（A∧C）∨（A∧D）∨（B∧C）∨（B∧D）吗? Y=A非B非+BC非+A非+B非+ABC+（A+C）非 化简上述.谢谢 那位离散数学大神能告诉我这些等式是如何变形的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：这两 逻辑代数化简 F=A非B+BC非+B非C+AB非 用卡诺图化简 Y=(A^非B^非+ABD）^非*(B+C^非D) 或者化简 离散数学证明题用CP规则证明A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E 离散数学计算的过程怎么来的?b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )= bb ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )= b ∧ d请问这个过程怎么来的?（题目 √a∧2-a是 A非负数 B负数 C 0 D正数 离散数学,A B C 为任意集合 证明 离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧C→D,D→Q,求证：Q为真.我的疑问是：1,题目中的“,”是表示什么意思?是合取、析取?2、书上给出的证明是：A,A→