B^C\cap (A^C)^C = B^C\backslash A^C = B^C\backslash (B^C\cap A^C) (\text{jer je} \, X\backslash Y=X\backslash (X\cap Y))