如何用代数法化简以下逻辑函数？

用代数法化简以下逻辑函数(浙江大学2007年)
(2)Y2=1⊕A⊕B⊕C⊕AB⊕AC⊕BC⊕ABC
（这个其实是数电的题目，我不知道用哪个标签，所以就用了Python的）

这么多异或，用公式法化简的话太复杂了。

可以用真值表法化简：
1 A B C AB AC BC ABC Y2
1 0 0 0 0 0 0 0 1
1 0 0 1 0 0 0 0 0
1 0 1 0 0 0 0 0 0
1 0 1 1 0 0 1 0 0
1 1 0 0 0 0 0 0 0
1 1 0 1 0 1 0 0 0
1 1 1 0 1 0 0 0 0
1 1 1 1 1 1 1 1 0
根据性质：0⊕0=0，0⊕1=1，1⊕0=1，1⊕1=0
只有 1 A B C AB AC BC ABC 这8项中只有当1的个数为奇数时 Y2才等于1
根据真值表，只有当A=0, B=0, C=0时 Y2=1
所以： Y2 = A'B'C'

异或
XOR
符号：^