DIAGRAMY VENNA ozl: Mam zadanie aby sprawdzic przy pomocy diagramow Venna czy nastepujace wyrazenia sa prawami rachunku zbiorow: 1. (C−B)≠∅ ⋀ A)(C) ⇒ C−A≠∅ 2. (A∩B=∅ ⋀ C⊂B) ⇒ A∩C=∅ 3. (B⊂A' ⋀ A∩C=∅) ⇒ A=∅Y No i wyszlo mi ze: 1. jest prawem rachunku 2.nie jest 3.nie jest Tutaj diagramy: http://imageshack.us/photo/my-images/40/diagramy.png/ I pytanie dnia, czy dobrze mi wyszlo?