异或：
【1】异或的数学符号为“⊕”，计算机符号为“xor”。
【2】运算法则为，a⊕b = (¬a ∧ b) ∨ (a ∧¬b)
【3】如果a、b两个值不相同，则异或结果为1。如果a、b两个值相同，异或结果为0。
同或：
【1】同或符号为⊙
【2】同真，异假。即，同或：相同为一，不同为零。
【3】a⊙b=ab+a’b’(a’为非a，b’为非b)；
注意：逻辑代数之间的关系可以用并集交集的想法去理解。
注意：
【1】反演和对偶的区别：反演变量也发生变化，对偶变量保持不变；
【2】注意运算的优先规则
利用消除冗余法即可得上述结果：
参考文献：
【1】https://wenku.baidu.com/view/695a4c6427d3240c8447ef34.html
