Is the diagram at 30:05 right? It says: (A+C)x(B+C)=(A+B)xC However I can't stop thinking it should be: (AxC)+(BxC)=(A+B)xC