根据逻辑运算常用恒等式(也称冗余律)AB+A'C=AB+A'C+BC(这里增加出来的BC称为冗余项),原式中的第一、二项(或第一、三项)可以增加出一个冗余项,该冗余项与另一项可以消去一个变量,……
Y = AC + BC' + A'B= AC + (ABC'+A'BC') + (A'BC+A'BC')= AC + A'BC + ABC' + A'BC'= AC + BC + BC' = AC + B;满意请采纳哈