ПОМОГИТЕ С ИНФОРМАТИКОЙ. Упростите выражения

a) ¬A∨B∧A = ¬A∨B (закон де-Моргана) c) ¬A∧¬B∨¬(B∨A) = ¬A∧¬B∨¬B∧¬A = ¬A∧¬B d) ¬(A∧C)→¬A∨¬B = A∧C∨¬A∨¬B = (¬A∨A∧C)∨¬B = ¬A∨C∨¬B