数字电路与逻辑设计 证明 A(非B) 异或(非A)B=A(非B)+(非A)B