− x y = 2 I ( x ≠ y ) − 1 -xy=2\mathbf{ I}(x \ne y)-1 −xy=2I(x=y)−1
其中
I
\mathbf{ I}
I 是 indicator 函数,
定义域 为True ,函数值为 1
反之为 0
x,y 都 可以取值 {-1,1}
证明过程见下表:
x | y | 左式 | 右式 |
---|---|---|---|
-1 | -1 | -1 | -1 |
1 | 1 | -1 | -1 |
-1 | 1 | 1 | 1 |
1 | -1 | 1 | 1 |