Логические выражения : a) x & y v (x & y) v z б) (a v b & c) v (a v b & не c)v a v не b

а) Х ⋀ Y ⋁ (X ⋀ Y) ⋁ Z = Х ⋀ Y ⋁ Z

б) (A v B ⋀ C) v (A v B  ⋀ ¬ C) v A v ¬ B = A v (B ⋀ C) v A v (B  ⋀ ¬ C) v A v ¬ B = 

= A v (B ⋀ C) v (B  ⋀ ¬ C) v ¬ B = A v (B ⋀ C) v (¬ B  v ¬ C) = A v (B ⋀ C) v ¬ B  v ¬ C = 

= A v ¬ B  v C v ¬ C = A v ¬ B  v 1 = 1