BOOLEAN POSTULATES:
-------------------

* P1: X = 0 OR X = 1
* P2: 0.0 = 0
* P3: 1 + 1 = 1
* P4: 0 + 0 = 0
* P5: 1.1 = 1
* P6: 1.0 = 0.1 = 0
* P7: 1 + 0 = 0 + 1 = 1

LAWS OF BOOLEAN ALGEBRA
-----------------------


T1: COMMUTATIVE LAW
-------------------
(a) A + B = B + A
(b) A.B = B.A

T2: ASSOCIATE LAW
-----------------
(a) (A + B) + C = A + (B + c)
(b) (A.B).C = A.(B.C)

T3: DISTRIBUTIVE LAW
--------------------
(a) A.(B + C) = A.B + A.c
(b) A + (B.C) = (A + B).(A + C)

T4: IDENTITY LAW
----------------
(a) A + A = A
(b) A.A = A

T5:
---
            _
(a) A.B + A.B = A
                 _
(b) (A + B).(A + B) = A

T6: REDUNDANCE LAW
------------------

(a) A + A.B = A
(b) A.(A + A.B) = A

T7:
---

(a) 0 + A = A
(b) 0.A = 0

T8:
---

(a) 1 + A = 1
(b) 1.A = A

T9:
---
    _
(a) A + A = 1
    _
(b) A.A = 0

T 10:
-----
        _
(a) A + A.B = A + B
       _
(b) A.(A + B) = A.B

T 11: DEMORGAN'S THEOREM
------------------------

     _____    _   _
(a) (A + B) = A . B
     ___    _   _
(b) (A.B) = A + B