Sebagai pola, \(x\in A\cap(B\cup C)\) ekuivalen dengan \(x\in A\) dan (\(x\in B\) atau \(x\in C\)). Distribusikan kata “dan” untuk memperoleh (\(x\in A\cap B\)) atau (\(x\in A\cap C\)), tepat syarat ruas kanan. Tiga identitas lain dibuktikan dengan rantai ekuivalensi yang sama. Sumber menempatkan dua hukum distributif dalam satu task melalui token \item; keduanya tetap harus dibuktikan.