用卡诺图化简下列逻辑函数 F(ABCD)=∑m(1,2,3,5,6,7,8,9,12,13)