A-(B-C)=(A-B)U(A∩C) =(AB^)+(AC)=A(B^+C)
A-(B-C)=A(B-C)^=A(BC^)^=A(B^+C)