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 :
(b)
T6 : Redundance Law
(a) A + A B = A
(b) A (A + B) = A
T7 :
(a) 0 + A = A
(b) 0 A = 0
T8 :
(a) 1 + A = 1
(b) 1 A = A
T9 :
(a)
(b) ![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uspAhvxDSQH54Ee8FSvHGXQdmAmBKkl9CcCKiCPlpCzBVuO2d_3UoJlmPqhnzD2SL9T43Fk1j8lbvGyW25oP9dF4XK_Ewy2tAt_oIs5TF5AwaPW8Eqg3agWCXN0SumRwKT6LPDdT5zxWl2YnL2Hco=s0-d)
T10 :
(a)
(b) ![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tBsH7DQMVNwDgQ40pFeGjY21dXEPRoM880JEt-r_c8NajC8Ccb0ldPmDMuzTihAU3TEv4OK6fjn2NrUEW9N2AQghdUhwUfZ8T0rUZkdCatdIlMag9J_T4lp41pdcrNmL744d-uW8AHlZplQeD1Pjsj=s0-d)
T11 : De Morgan's Theorem