用卡诺图化简下列逻辑函数y(a.b.c)=∑m(0.1.2.3.4)+∑d(5.7)