逻辑函数A+非AB怎么等于A+B