この等式を集合演算の性質を用いて示すにはどうすればよいでしょうか。また

質問

この等式を集合演算の性質を用いて示すにはどうすればよいでしょうか。また、ベン図はどのようになりますか？
（１）A－（B∪C）＝（AーB）∩（AーC）
（２）Aー（B∩C）＝（AーB）∪（AーC）
（３）（￢A∪B）∪（A∪￢B）＝（A∩B）∪（￢A∩￢B）
（４）（￢A∩B）∪（A∩￢B）＝（A∪B）∩（￢A∪￢B）

回答No.2

OKXavier · ベストアンサー

(1)だけ例示しますから、要領を理解して、後はご自分で。

　A－（B∪C）
＝A∩￢（B∪C）　　　　　　　　「A－B」の定義
＝（A∩￢B）∪（A∩￢C）　　分配律
＝（A－B）∪（A－C）　　　　　　「A－B」の定義

回答No.1

koko_u_u

「集合演算の性質」とは具体的に何かを補足にどうぞ。

補足

交換律、分配律、結合律などで内容は論理演算の性質と同じです。