为什么在逻辑设计中,y=ab+a非c+bc=ab+a非c