I negated the following boolean expression and just need somebody to tell me if I made any mistakes.
Expression:
(A∧B)∨(¬A∧C)
Negation:
¬[(A∧B)∨(¬A∧C)] = ¬(A∧B)∧¬(¬A∧C) = (¬A∨¬B)∧(A∨¬C)
Distributive Law
p∧(q∨r) = (p∧q)∨(p∧r)
Suppose
p = (¬A∨¬B)
q = A
r = ¬C
Let's apply the distribution law:
(¬A∨¬B)∧A∨(¬A∨¬B)∧¬C = A∧¬B∨¬A∧¬C∨¬B∧¬C