逻辑函数问题,用定理证明

问题描述:

逻辑函数问题,用定理证明
ABC+AB'C'+A'BC'+A'B'C=A异或B异或C
表示非