Exercises 12-15 provide an outline for a proof that the associative laws, which were included as axiom for a Bolllem algebre, can be derived from the other four axioms. The algebra, can be derived from the four axioms. The outline is from Introduction to Boolean Algebra by S. Givant and P. Halmos, Springer, 2009. In order to avoid unneeded parentheses, assume that takes precedence over+.
The assiociative kaw for + states that for all elements a, b, and c. Show that this law , as from the other four axioms in the definition and axioms for a Boolean algebra. Then explain how to your work to obtain to obtain a dervation for the associative law for.
To derive the associative law for
Given information:
The associative law states that for all elements
Calculation:
There are total five axioms of the Boolean algebra which are listed in the following table.
Axioms | Addition |
Multiplication |
(1) Commutative laws | ||
(2) Associative laws | ||
(3) Distributive laws | ||
(4) Identity laws | ||
(5) Complement laws |
Now, to prove the associative law for
Let us consider the left hand side of the above equation-