Тождеств тут можно использовать три:
1) A - C = A ¬C - с его помощью лучше сразу записать A Δ C и потом симметрическую разность в правой части;
2) ¬(AC)=¬A + ¬C;
3) ¬(¬A)=A.
Даже четыре - ещё потребуется дистрибутивность
4) A(B + C) = AB + AC.