Упростить логические выражения

а) ¬X∧¬(¬Y∨X) = ¬X∧(Y∧¬X) = ¬X∧Y;б) (A∨B∧¬C)∨(A∨B∧C)∨C∨A = A∨B∧¬C∨A∨B∧C∨C∨A = (¬C∨C)∧B∨C∨A = 1B∨A∨C=A∨B∨C;в) A∧(A →B)∧(A →¬B)=A∧(A →B)∧(¬A ∨ ¬B)=A∧¬A∧(A →B)∨A∧¬B∧(A →B)=A∧¬B∧(A →B)=A∧¬B∧(¬A ∨B)=A∧¬B∧¬A∨A∧¬B∧B=0В случае в) можно просто рассуждать логически:Предположим, что А≠0, тогда одна из скобок обязательно обратится в 0, при умножении все выражение станет равным 0.Если же А = 0, то при умножении на А все выражение становится равным 0.