不是 “相等”,而是 “等价”,用的是分配律（提出 ﹁C）：
(﹁A∧B∧﹁C)∨(A∧﹁C)((﹁A∧B)∨A)∧﹁C.能不能把过程打一下，我几次化成((﹁A∧B)∨A∧﹁C)∧﹁C　　哪有什么过程？用的是分配律（教材上有这个公式的）：
　　(A∧C)∨(B∧C) <==> (A∨B)∧C。知道这个公式，得不出来　　 　　 (﹁A∧B∧﹁C)∨(A∧﹁C)
　　<==> ((﹁A∧B)∧﹁C)∨(A∧﹁C)
　　<==> ((﹁A∧B)∨A)∧﹁C啊，看懂了，多谢大神，么么哒~关键是要动手，数学 “ 看懂了” 是没用的，而是要 “做懂了” 才是真懂 。嗯嗯，感谢大神赐教~