ü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 Üldistatud De morgani ehk Shannoni seadus f(a,b,c,...,w,*,+)=f(a,b,c,...,w,+,* )n 14. Loogikaavaldiste algebraline lihtsustamine 15. Funktsionaalselt täielikud süsteemid
1. Seotud muutuja on muutuja, millele on omistatud kvantor. Vaba muutuja on muutuja, millele ei ole kvantorit omistatud. Hüüumärgiga ekistentsikvantor tähendab, et eksisteerib ainult üks selline väärtus. Kaks predikaati on võrdväärsed kui nad omavad sama tõeväärtust. Loogikaseadused on lihtsaimad samaselt tõesed lausearvutusvalemid. Assotsiatiivsusseadus on sama, mis „vastus ei olene tehete järjekorrast“. Kommutatiivsusseadus on sama, mis „vastus ei olene operandide järjekorrast“. Kommutatiivne pole ainult implikatsiooni tehe. Distributiivsus esitab lahtiliitmist ja lahtikorrutamist. DeMorgani seadused kehtivad ükskõik mitme muutuja korral. Loogika seadusi rakendatakse, et saada lausest uut, samaväärset lauset. Hulgad: Hulk kooseb hulgaelementidest. Hulka saab esitada täieliku hulgaelementide loeteluna, osalise loeteluna,
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. Argumendi väärtus tema kahekordsel eitamisel ei muutu 5. Komplementaarsus- ehk täiendiseadus. Argumendi ja tema eituse ehk täiendi loogiline korrutis on null, loogiline summa üks 6. Kommutatiivsusseadus. Argumentide järjekorda loogikatehetes võib muuta 7. Assotsiatiivsusseadus. Mitme argumendi loogilist korrutamist ja loogilist liitmist võib sooritada suvalises järjekorras või samaaegselt 8. Distributiivsusseadus (sulgude avamise seadus). Argumentide loogilist summat võib loogiliselt korrutada argumendiga a või korrutada esmalt kõiki argumente a-ga ning seejärel need korrutised loogiliselt liita. Argumentide
(1.12) 4. Eituse eitamise seadus. Argumendi väärtus tema kahekordsel eitamisel ei muutu a = a. (1.13) 5. Komplementaarsus- ehk täiendiseadus. Argumendi ja tema eituse ehk täiendi loogiline korrutis on null, loogiline summa üks a ⋅ a = 0; a + a = 1. (1.14) 6. Kommutatiivsusseadus. Argumentide järjekorda loogikatehetes võib muuta a ⋅ b = b ⋅ a; a + b = b + a. (1.15) 7. Assotsiatiivsusseadus. Mitme argumendi loogilist korrutamist ja loogilist liitmist võib sooritada suvalises järjekorras või samaaegselt a ⋅ (b ⋅ c ) = (a ⋅ b ) ⋅ c = a ⋅ b ⋅ c; a + (b + c ) = (a + b) + c = a + b + c. (1.16) 8. Distributiivsusseadus (sulgude avamise seadus)
annaabi.ee 
