>>147 >>148
面倒なので、Aの補集合は A~と書き、A∩B は ABと、A∪B はA+Bと書く。
左辺 = AB+C - AC = (AB+C)(AC)~ = (AB+C)(A~+C~)
 = ABA~+CA~+ABC~+CC~ = CA~ + ABC~ = (C-A) + ABC~ = 右辺