2) <u><span>Not A </span>⋀ (Not A ⋀ B)</u> ⋀ A ⋁ B ⋁ Not A =<u> Not A</u> ⋀ B ⋀<u> A</u> ⋁ B ⋁ Not A = <u>0 ⋀ B</u> ⋁ B ⋁ Not A =
0 ⋁ B ⋁ Not A = B ⋁ Not A
3) <span>A </span>⋀ B ⋀ (<u>C </u>⋁ Not A ⋁ <u>A ⋀ C</u>) ⋀ Not B = <u>A</u> ⋀ B ⋀ <u>(C ⋁ Not A)</u> ⋀ Not B = A ⋀ С ⋀ <u>B ⋀ Not B</u> =
A ⋀ С ⋀ 0 = 0
4) <u><span>Not(X </span>⋁ Y)</u> ⋁ Not(X ⋀ Z) ⋁ Not(X ⋀ Y ⋀ Z) = (Not X ⋀ Not Y) ⋁ <u>(Not X ⋁ Not Y) ⋁ Not Х ⋁ Not Y</u> ⋁ Not Z = (<u>Not X ⋀ Not Y) ⋁ Not Х</u> ⋁ Not Y ⋁ Not Z = Not Х ⋁ Not Y ⋁ Not Z