用卡诺图化简约束条件的逻辑函数:Y(A,B,C,D)=∑m(0,2,4,6,9,13)+∑d(3,5,7,11,15)