Guruh talabasi Narmatov Rustamning Diskret tuzilmalar fanidan

Эйлер-Венн диаграммалари.Тўпламларни график тарзда тасвирлаш учун Эйлер-Венн диаграммаларидан фойдаланилади. Бунда тўпламларни айлана сифатида тасвирланади. Қуйида тўпламлар устида амалларни диаграммалар орқали тасвирланишини кўриб ўтамиз:




Мисол. Қуйидаги тўпламни Эйлер-Венн диаграммаси орқали ифодаланг.


а) б) в)
Асосий тенгликлар (тенг кучлиликлар).

Тўпламлар устида бажариладиган бирлашма ва кесишма амаллари қуйидаги хоссаларга эга. Шулардан энг асосийларини кўриб ўтамиз.

Теорема . Иҳтиёрий А, В, С тўпламлар учун қуйидагилар ўринли:

1. 
   - бирлашма идемпотентлиги;
   
2. 
   - кесишма идемпотентлиги;
   
3. 
   - бирлашма коммутативлиги;
   
4. 
   - кесишма коммутативлиги;
   
5. 
   - бирлашма ассоциативлиги;
   
6. 
   - кесишма ассоциативлиги;
   
7. 
   - бирлашманинг кесишмага нисбатан
   

дистрибутивлиги ;

8. 
   - кесишманингбирлашма нисбатан
   

дистрибутивлиги ;