· D is tributi ivs us s eadus ed A ( B C ) = ( A B ) ( A C ) es imes eks märg iks es imene A ( B C ) = ( A B ) ( A C ) · D e Morgani s eadus s eadus ed (eitamine, vas tupidi) A B = A B täiendi te ühis os a A B = A B · Idempoten ts us s eadus A = A A = A · V älis tatud kolmand a s eadus ed A A = I A A = · Topelttäi endi seadus A = A 2x= es ialgne hulk tagas i · = A I = A A = A A I = I · N eeldumis s eadus ed A ( A B ) = A A ( A B ) = A B A ( A B ) = A A ( A B ) = A B · K leepimis s eadus ed ( A B ) (A B ) = A ( A B ) (A B ) = A · A B = A B · A B = ( A B ) ( B A ) = ( A B ) ( A B ) D ef. Hu lga A m ittetüh jad e alam h u lk ad e k ollek ts ioon i { A1 , A2 ,..., An } n im etatak s e h u lga A p artits ioon ik s s iis ja ainu lt s iis ku i A = n k =1 Ak Ai A j =Ø kõigi i j korral.
A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C · D is tributi ivs us s eadus ed A ( B C ) = ( A B ) ( A C ) es imes eks märg iks tuleb es imene märk A ( B C ) = ( A B ) ( A C ) · D e Morgani s eadus s eadus ed A B = A B A B = A B · Idempoten ts us s eadus A = A A = A · V älis tatud kolmand a s eadus ed A A = I A A = · Topelttäi endi seadus A = A · = A I = A A = A A I = I · N eeldumis s eadus ed A ( A B ) = A A ( A B ) = A B A ( A B ) = A A ( A B ) = A B · K leepimis s eadus ed ( A B ) (A B ) = A ( A B ) (A B ) = A · A B = A B · A B = ( A B ) ( B A ) = ( A B ) ( A B ) D ef. Hu lga A m ittetüh jad e alam h u lk ad e k ollek ts ioon i { A1 , A2 ,..., An } n im etatak s e h u lga A p artits ioon ik s s iis ja ainu lt s iis ku i A = n k =1 Ak Ai A j =Ø kõigi i j korral.
annaabi.ee 
