samaväärsus signaal 1 ainult siis, kui f9=X1X2+ X1X2 X2-> sisendites on ühesugused väärtused Ülessanded paberite peal. 13. Loogikaseadused 1. Domineerimisseadus 1. (0*a*b*c...=0) 2. Domineerimisseadus 2. (1+a+b+c+...=1) 3. Idempotentsus- ehk samaväärsusseadus. ( a*a=a a+a=a) 4. Eituse eitamise seadus. (a=a) 5. Komplemetaarsus- ehk täiendiseadus. (a*a=0; a+a=1) 6. Kommutatiivsusseadus. (a*b=b*a; a+b=b+a) 7. Assotsiatiivsusseadus. ( a*(b*c)=(a*b)*c=a*b*c; a+(b+c)=(a+b)+c=a+b+c ) 8. Distributiivseadus. a*(b+c)=a*b+a*c a+b*c=(a+b)*(a+c)) 9. De Morgani seadused. a*b=a+b a+b=a*b a*b*c*....*w=a+b+c+...+w a+b+c+....+w=a*b*c*...*w
f14 = x1 x2 x1& Y inversioon f14 = x1 gx2 x2 sisendid on 1 NING-EI Väljundis on f15 Konstantne 1 1111 f15=1 alati signaal 1 2.4. Loogikaseadused 1. Domineerimisseadus I a gb = bga a + b = b + a 0gagbgc g... = 0 7. Assotsiatiivsusseadus 2. Domineerimisseadus II a g( bgc ) = ( a gb ) gc = a gbgc 1 + a + b + c + ... = 1 3. Samaväärsus a + ( b + c) = ( a + b) + c = a + b + c a ga = a a + a = a 8. Distributiivsusseadus 4. Eituse eitamise seadus a g( b + c ) = agb + agc a=a a + bgc = ( a + b ) g( a + c ) 5
f14 x1 gx2 & Y x2 f15 Konstantne 1 1111 Väljundis on alati signaal 1 f15=1 2.4. Loogikaseadused 1. Domineerimisseadus I a g b c agb agc 0ga gbgcg... 0 2. Domineerimisseadus II a bgc a b g a c 1 a b c ... 1 9. Neelduvusseadused 3. Samaväärsus a g a b a a ga a a a a a g a b g a c ..
Võrdluseks võib esitada kahendarvude aritmeetikatehted: Kahendarvude loogika- ja aritmeetikatehted langevad enamuses kokku, välja arvatud loogiline ja aritmeetiline liitmistehe 11 = 1 ning 1+1 = 10 , mille tulem on erinev. Seepärast tuleb loogika- ja aritmeetikatehteid kindlalt eristada ja loogikatehete tähistamiseks võib kasutada aritmeetikatehete märke vaid juhul kui pole ohtu neid tehteid segi ajada. Loogikaaksioomide põhjal tuletatakse peamised loogikaseadused: 1. Domineerimisseadus I. Suvalise muutujate hulga konjunktsioon on null (tühihulk), kui kas või ainult üks muutujatest võrdub nulliga 2. Domineerimisseadus II. Suvalise muutujate hulga disjunktsioon on üks (universaalhulk), kui kas või ainult üks muutujatest võrdub ühega 3. Indempotentsus- ehk samaväärsusseadus (kehtib ka kolme ja enama muutuja kohta). Argumendi loogiline korrutamine või liitmine iseendaga ei muuda tulemi väärtust 4. Eituse eitamise seadus
(1.8) Loogikatehete ja aksioomide põhjal leitakse kahendarvude kohta kehtivad järgmised reeglid: 0 = 1; 1 = 0; 0 ⋅ 0 = 0; 0 ⋅ 1 = 0; 1⋅ 0 = 0; 1⋅ 1 = 1; (1.9) 20 0 + 0 = 0; 0 + 1 = 1; 1 + 0 = 1; 1 + 1 = 1. 21 Aksioomide põhjal tuletatakse peamised loogikaseadused: 1. Domineerimisseadus I. Suvalise muutujate hulga konjunktsioon on null (tühihulk), kui kas või ainult üks muutujatest võrdub nulliga 0 ⋅ a ⋅ b ⋅ cL = 0. (1.10) 2. Domineerimisseadus II. Suvalise muutujate hulga disjunktsioon on üks (universaalhulk), kui kas või ainult üks muutujatest võrdub ühega 1 + a + b + c +L = 1. (1.11) 3