а) A ∧ (¬B ∨ ¬C) ∨ (¬B ∧ C) ∨ ¬A = A ∧ (¬B ∨ ¬C ∨ ¬A) ∨ (¬B ∧ C) = A ∨ (¬B ∧ C)
б) X ∧ Y ∧ Z ∨ ¬(X ∧ Y ∧ Z) ∨ X ∧ ¬Y = X ∧ Y ∧ Z ∨ (X ∨ Y ∨ Z) ∨ (X ∧ ¬Y) = X ∧ Y ∧ Z ∨ X ∨ Y ∨ Z
а) A ∧ (¬B ∨ ¬C) ∨ (¬B ∧ C) ∨ ¬A = A ∧ (¬B ∨ ¬C ∨ ¬A) ∨ (¬B ∧ C) = A ∨ (¬B ∧ C)
б) X ∧ Y ∧ Z ∨ ¬(X ∧ Y ∧ Z) ∨ X ∧ ¬Y = X ∧ Y ∧ Z ∨ (X ∨ Y ∨ Z) ∨ (X ∧ ¬Y) = X ∧ Y ∧ Z ∨ X ∨ Y ∨ Z