常用逻辑公式

常用逻辑公式
与逻辑交换	A and B = B and A
或逻辑交换	A or B = B or A
与逻辑的非运算	^(A and B) = ^A or ^B
或逻辑的非运算	^(A or B) = ^A and ^B
异或	(^A and B) or (A and ^B)
同或	(A and B) or (^A and ^B)