# Boolean Algebra Theorems `foundation `

of logic minimization

Theorems of Boolean Algebra are `derived from `

Huntington postulates.

x + x = (x + x)*1= (x + x)(x + x’)

From P8, x + xx’ = x

From duality of T1

T2. Theorem:-

T3. Theorem:-

x + 1= (x + 1).1= (x +1)*(x + x’)

From P8, (x + 1*x’)= (x + x’)= 1

From duality of T3