Упростить логическую формулу: (A ∧ B) ∧ (C ∧(C∨ A))

Question

Упростить логическую формулу:
(A ∧ B) ∧ (C ∧(C∨ A))

Answer 1

(A ∧ B) ∧ (C ∧ (C ∨ A)) = A·B·(C·(C+A)) = ABC(C+A) = ABCC+AABC =
ABC+ABC = ABC = A ∧ B ∧ C