Professional Documents
Culture Documents
Boolean Algebras Solutions
Boolean Algebras Solutions
Madhav P. Desai
January 22, 2024
Show the following (starting from the axioms of a Boolean algebra, using
the results proved in class):
u = (u + v) = v
p = (p.q) = q
a + 1 = a + (a + a) = (a + a) + a = a + a = 1
1
5. Prove the second De Morgan law:
a.b = a + b
7. In a finite Boolean algebra with at least two elements, the set of atoms
is non-empty.
9. If a ≤ b and c ≤ b, then (a + c) ≤ b.
•
10. If a ≤ b then b ≤ a.
•
2
12. Prove that a.b + a.b = b.
•