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