What determines an identity in Boolean algebra

boolean-algebraprobability theory

I'm a newbie to probability theory and am currently working through Chapter 1 of Jaynes' "Probability Theory, The Logic of Science". In it, he introduces the Boolean algebra and a number of identities associated with it, specifically idempotence, commutativity, associativity, distributivity, and duality. However, in this list there seems to be no mention of the following

$$\overline{\overline{X}} = X$$

i.e. the negation of the negation of the proposition has the same truth value as the proposition and

$$X + XY = X$$

My question is: why are the two propositional statements above not considered to be "identities" of Boolean algebra? And more generally, what then is the requirement for a propositional statement to be an identity in Boolean algebra?

Best Answer

It's not that those equations you posted aren't identities. Rather, it's that they aren't taken to be axiomatic (assumed), because they can be proven from the given (axiomatic) identities. In fact, we can take even fewer of the identities for granted, and still prove the others. We need only include:

  1. both associativity identities,
  2. both commutativity identities,
  3. both absorbtion identities (that is, $X(X+Y)=X$ and $X+XY=X$ for all $X$),
  4. one of the distributivity laws, and
  5. both complementation laws ($X+\overline X=1$ and $X\overline X=0$).

This comprises one such list of axioms. There are others that are even shorter. The upshot is that the "identities" presented are simply the axioms which the text uses to prove everything else.

Related Question