Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Discrete mathematics, continuous mathematics and probability (resit) / 1 / a / i / Solution

Write $C^c=\mathcal{U}\setminus C$. The rules for set difference, set intersection, and complement of a set giveThe second step is De Morgan's laws; the third distributes set intersection over set union. The fourth uses $A\cap A^c=\varnothing$.