数字逻辑化简(A+B逆C)*A逆C逆