(A\cap B)\cap(A^C\cup C^C)=\text{distributivnost}=[(A\cap B) \cap A^C]\cup [(A\cap B)\cap C^C]=\text{prvi skup je ocito
prazan}=[(A\cap B)\cap C^C]=\text{asocijativnost}=A\cap (B\cap C^C)=A\cap B\backslash C