逻辑异或（$\oplus$）是一种二元运算，其真值表如下所示。 以下关于逻辑异或的性质，正确的有（ ）。