数字逻辑化简Y=AB 非ABCD