Hu lk ad ega teos tatavate op erats ioon id e om ad us ed : · Kommu ta tiivs us s eadus ed A B = B A B = B · As s ots iatiivs us s eadus ed 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 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
in glis e ees ti jn e k eeled Hu lk ad ega teos tatavate op erats ioon id e om ad us ed : · Kommu ta tiivs us s eadus ed A B = B A B = B · As s ots iatiivs us s eadus ed 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