5

Let $\mathbb{B} = \{0,1\}$ denote the Boolean domain.

Its well known that both exclusive OR and logical biconditional make $\mathbb{B}$ into an Abelian group (in the former case the identity is $0$, in the latter the identity is $1$).

Furthermore, I was playing around and noticed that these two operations 'associate' over each other, in the sense that $(x \leftrightarrow y) \oplus z$ is equivalent to $x \leftrightarrow (y \oplus z).$

This is easily seen via the following chain of equivalences.

  1. $(x \leftrightarrow y) \oplus z$
  2. $(x \leftrightarrow y) \leftrightarrow \neg z$
  3. $x \leftrightarrow (y \leftrightarrow \neg z)$
  4. $x \leftrightarrow (y \oplus z)$

Anyway, my question is, what are the major connections between the operations of negation, biconditional, and exclusive OR? Furthermore, does $(\mathbb{B},\leftrightarrow,\oplus,\neg)$ form any familiar structure? I know that the binary operations don't distribute over each other, so its not a ring.

goblin GONE
  • 69,385
  • 1
    I suspect you'll see the term "modular" for (x↔y)⊕z being equivalent to x↔(y⊕z). http://en.wikipedia.org/wiki/Modular_lattice – Doug Spoonwood Jun 15 '13 at 18:50
  • 2
    I could be stupid here, but does it help to write $x \leftrightarrow y = x + y + 1$ and $\neg x = x + 1$? (At least this explains association and those equivalences, in my opinion.) – Tunococ Jul 05 '13 at 09:16
  • @Tunococ, looks pretty sensible to me. – goblin GONE Jul 05 '13 at 09:47

2 Answers2

2

You have defined a function $F(x,y,z)$ that is true if an even number of the arguments is true and false if an odd number of the arguments is true. None of your expressions make that obvious. The true ones form a subgroup of $\Bbb Z_8$ under addition, corresponding to the even elements in (one of) the obvious way(s).

Ross Millikan
  • 383,099
  • The most obvious way of showing this relationship is that $F(x,y,z)=\neg(x\oplus y\oplus z)$, and the OP's relation follows from the associativity of $\oplus$. – Mario Carneiro Jun 12 '13 at 07:06
1

You probably already know this, but the immediate connection between them is $(x\oplus y) \leftrightarrow \neg(x \leftrightarrow y)$. Then the exclusive OR reduces trivially to the biconditional, and vice versa.

Joshua Meyers
  • 180