· f10 - argumendi inversioon x2 · f11 - pöördimplikatsioon x2 x1 · f12 - argumendi inversioon x1 · f13 - implikatsioon x1 x2 9 · f14 - Shefferi kriips, Shefferi funktsioon, x1 & x2 ehk x1 x2 · f15 - konstant 1 Enamkasutatavate tehete prioriteet (tähtsus), mis määrab sulgude kasutamise vajaduse loogikaavaldistes: , & , , , Loogika põhiseadused · Idempotentsusseadused x&x=x xx=x · Kommutatiivsusseadused x1 & x2 = x2 & x1 x1 x2 = x2 x1 · Assotsiatiivsusseadused (x1 & x2 ) & x3 = x1 & (x2 & x3 ) (x1 x2 ) x3 = x1 (x2 x3 ) · Distributiivsusseadused x1 & ( x2 x3 ) = x1 & x2 x1 & x3 x1 ( x2 & x3 ) = ( x1 x2 ) & ( x1 x3 ) · Topelteituse seadus x = x · De Morgani seadused x1 & x2 = x1 x2 x1 x2 = x1 & x2 · Kleepimisseadused x1 x2 x1 x2 = x1 (x 1 x2 )( x1 x2 ) = x1 · Neeldumisseadused x1 x1x2 = x1 x1 & ( x1 x2 ) = x1
ekvivalentsi- ehk samaväärsusfunktsioon, x1 x2 ehk x1 x2 f10 - argumendi inversioon x2 f11 - pöördimplikatsioon x2 x1 f12 - argumendi inversioon x1 f13 - implikatsioon x1 x2 f14 - Shefferi kriips, Shefferi funktsioon, x1 & x2 ehk x1 | x2 f15 - konstant 1 Enamkasutatavate tehete prioriteet (tähtsus), mis määrab sulgude kasutamise vajaduse loogikaavaldistes: , & , , , Loogika põhiseadused Idempotentsusseadused x&x=x xx=x Kommutatiivsusseadused x1 & x2 = x2 & x1 x1 x2 = x2 x1 Assotsiatiivsusseadused (x1 & x2 ) & x3 = x1 & (x2 & x3 ) (x1 x2 ) x3 = x1 (x2 x3 ) Distributiivsusseadused x1 & ( x2 x3 ) = x1 & x2 x1 & x3 x1 ( x2 & x3 ) = ( x1 x2 ) & ( x1 x3 ) 9 Topelteituse seadus x x De Morgani seadused x1 & x2 x1 x2 x1 x2 x1 & x2
annaabi.ee 
