Задание по теории множеств

Доказать, что A\(B\C)=(A\B)∨(A∧C).

\ - разность множеств;

Сдавала данное задание многократно, его не принимают.

Из замечаний преподавателя:

1) В теории множеств нет операции "не";

2) Все используемые законы алгебры множеств необходимо доказывать. Для решения номера проще обойтись без этих законов.

P.S: Могу скинуть исполнителю прошлые попытки, если это как-то поможет.