IT MATEMAATILISED ALUSED Loogika (TAUNO ÕUNAPUU) 30.01.14 Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kuntslikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest.Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Predikaatarvutus on lausearvutuse laiendus...
1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 Mitte võrdsus on tingitud määramatusest. 4. Leida vabaltvalitud viisil punktis 2 saadud MDNK-ga (loogiliselt) võrdne Taandatud DNK ja Täielik DNK Taandatud DNK: Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. Taandatud DNK võib sisaldada ka liiased liikmeid. X3,X4 00 01 11 10 X1,X2 00 0 0 1 1 01 - 1 1 - 11 - - 1 - 10 - 0 1 0 X1X 3 X 4 X1 X 2 X 3 X 3 X 4 Taandatud DNK: (X1,X2,X3,X4) = Täielik DNK leidmine:
on: 1. Ühe liigi morfoloogiliselt eristamatud populatsioonid või geograafilised alamliigid (sel puhul on disjunktne vanus kümneid kuni sadu tuhandeid aastaid); 2. Ühe perekonna hästieristunud liigid (vanus võib olla miljoneid aastaid); 3. Ühe sugukonna lähedased perekonnad või alamperekonnad (vanus on kümneid kuni sadu miljoneid aastaid). Gruppdijunktsioonide näited: 3 1. Arktoalpiinne disjunktsioon 2. Gondvana ehk Lemuuria disjunktsioon hõlmab Madagaskarit, Indiat ja Sunda saari 3. Holantarktiline disjunktsioon 4. Holarktiline disjunktsioon 5. Bipolaarne disjunktsioon 6. Periglatsiaalne disjunktsioon 7. Vahemere disjunktsioon 8. Musta mere disjunktsioon 9. Euroopa-Aasia disjunktsioon 10. Lesitaania disjunktsioon Perekonna levialade koondumise põhjusteks võivad olla: 1. Praegusaegseks tekkekeskmeks olemine primaarne arengutsenter, kus toimub uute liikide teke; 2
Tõeväärtustabelid Tähtsus järjestus: (); ¬, &, , , A ¬ Eitus, muudab tõeväärtust vastupidiseks. B t v v t ,,ja, ning, ka, aga, kuid" A B A & B Konjunktsioon on tõene ainult siis, kui kõik t t t tema osalaused on tõesed. t v v v t v v v v ,,või" A B A B Disjunktsioon on väär ainult siis, kui kõik t t t tema osalaused on väärad. t v t v t t v v v ,,Kui ..., siis" A B A B Implikatsioon on väär ainult siis, kui eeldus t t t on tõena ja järeldus on väär. t v v eeldus > järeldus v t t v v t ,,on võrdne" A B A B Ekvivalents on tõene siis, kui tema t t t osalausete tõeväärtused on võrdsed. t v v
Millised kvantorid on olemas? Vali üks või enam: Lausekvantor Üldsuse kvantor Tõekvantor Normaalkvantor Olemasolu kvantor Loogikakvantor Küsimus 4 Õige - Hinne 1,00 / 1,00 Mitut erinevat loogikatehet kasutatakse lausearvutuses? (sisesta arv/number: ) Vastus: 5 Küsimus 5 Õige - Hinne 1,00 / 1,00 Loogikatehetel on olemas võõrsõnalised nimetused. Loogiline korrutamine on konjunktsioon Loogiline liitmine on disjunktsioon Järeldamistehe on implikatsioon Eitus on inversioon Loogiline lahutamine on pole olemas sellist tehet! Küsimus 6 Õige - Hinne 1,00 / 1,00 Milliseid kvantoreid on võimalik EITADA? Vali üks või enam: lausekvantorit olemasolu kvantorit tõekvantorit ühtegi kvantorit ei saa eitada Küsimus 7 Õige - Hinne 1,00 / 1,00 Milliste loogikatehete jaoks on operandide järjekord oluline
Lihtlausetest koostatakse kindlate sidesõnade ja loogiliste konstruktsioonide abil liitlauseid: Aritmeetilise liitmise tehtemärki ' + ' sobib kasutada VÕI-tehte ehk disjunktsiooni tehtemärgina sellepärast, et disjunktsioon on "tavalise" " kui palka ei tõsteta või tööaega ei vähendata, siis algab streik " aritmeetilise liitmise analoog loogikas. " ülemus on kohal ainult siis, kui tema auto on maja ees" ( Sümbol ' ' on siin ja edaspidi kasutusel tähenduses " on samaväärne" ) Liitlause koosseisu kuuluvat lauset nimetatakse ka osalauseks. Loogikatehted lausearvutuses
Mitut erinevat loogikatehet kasutatakse lausearvutuses? (sisesta arv/number: ) Answer: 5 Küsimus 4 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Loogikatehetel on olemas võõrsõnalised nimetused. Loogiline lahutamine on pole olemas sellist tehet! Eitus on inversioon Loogiline korrutamine on konjunktsioon Loogiline liitmine on disjunktsioon Järeldamistehe on implikatsioon Küsimus 5 Osaliselt õige Hinne 0,50 / 1,00 Flag question Küsimuse tekst Milliste loogikatehete jaoks on operandide järjekord oluline? Vali üks või enam: implikatsioon distributsioon inversioon ekvivalents konjunktsioon disjunktsioon Küsimus 6 Osaliselt õige Hinne 0,83 / 1,00 Flag question Küsimuse tekst
1. Milliste loogika tehete jaoks on operandide jrjekord oluline? Implikatsioon 2. Missugused seaduse tepoolest on olemas? Neeldumisseadus DeMorgani seadus vlistatud kolmanda seadus kontrapositsiooniseadus vastuolu seadus topelteituse seadus 3. "TAUTOLOOGIA" on lause, mis on alati vr? False 4. Vali loetelust alternatiivne nimetus neile loogika tehetele! Disjunktsioon - VI-tehe Konjunktsioon - JA-tehe Implikatsioon - jreldamine 5. Milliseid kvantoreid on vimalik eitada? Olemasolu kvantorit 6. Millised kvantorid on olemas? Olemasolukvantor ldsusekvantor 7. Kui loogikaavaldises pole sulgudega mratud tehete jrjekorda,siis KONJUNKTSIOONI, INVERSIOONI, DISJUNKTSIOONI leidumisel tehaksekigepealt... a-inversioon b-konjunktsioon c-disjunktsioon 8. Mitu erinevat tehet kasutatakse lausearvutuses? 5 9
Eitus: Mitte P, pole õige, et P. ~P, on ka teisi alternatiive. Ühe alternatiivi kehtimise nõue: PvQ P või Q Tingimuste samaaegse kehtimise nõue: P &Q P ja Q Järeldumine: P->Q Kui P siis Q Samaväärsus: P<->Q P ainult siis, kui Q Millist tehet nimetatakse binaarseks? Millised loogikatehted on binaarsed? Binaarsed tehted seovad kahte lauset, nendeks on konjuktsioon, disjunktsioon, ekvivalents ja implikatsioon. Millist tehet nimetatakse unaarseks? Millised loogikatehted on unaarsed? Unaarsed tehted on rakendatavad ühele lausele. Unaarseks on eitus. Milline aritmeetiline tehe vastab igale loogikatehtele? Konjuktsioon korrutamine. Disjunktsioon liitmine. Ekvivalents võrdumine. Implikatsioonile ei ole aritmeetikas analoogi. Millist loogikatehet nimetatakse loogikaliseks korrutamiseks? Millist loogikaliseks liitmiseks?
Loogikaalgebra, Põhiseosed, loogikafunktsioonid Mis on loogikaalgebra? Loogikaalgebra on Boole algebra lihtsaim erijuht, kus alushulgaks on kõigest kaheelemendiline hulk {0,1}. Millest loogikaalgebra koosneb? Koosneb loogikaväärtustest 0 ja 1 ning võretehetest konjuktsioon ja disjunktsioon. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada väärtusi ainult hulgast {0,1} Kuidas nimetatakse numbrimärkidega 0 ja 1 esitatud loogikaväärtusi? Nimetatakse konstant 1 ja konstant 0 Mis on loogikaavaldis? Loogikaavaldise definitsioon loogikaavaldis on loogikamuutuja xi, konstante 0 1 ja tehtemärke sisaldav kooslus, mis tema muutujate xi väärtustamisel omandab samuti loogikaväärtuse 0 või 1 definitsiooni vaata lk 154
KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . Vastus 1 kõige esimesena tehakse loogikaavaldises INVERSIOON Vastus 2 ...selle järel järgmisena tehakse KONJUNKTSIOON Vastus 3 ...ja viimasena tehakse DISJUNKTSIOON Küsimus 4 Õige Hinne 1,00 / 1,00 Loogikatehetel on olemas võõrsõnalised nimetused. Vastus 1 Loogiline lahutamine on pole olemas sellist tehet! Vastus 2 Loogiline liitmine on disjunktsioon Vastus 3 Loogiline korrutamine on konjunktsioon Vastus 4
Loomulikus keeles on ekvivalentsi indikaatoriteks väljendid … siis ja ainult siis, kui … ; … parajasti siis, kui … ; tarvilik ja piisav tingimus; ühekorraga. Lause on tõene siis, kui oponendid on korraga tõesed või väärad. Antiekvivalents p ⊕q (välistav disjunktsioon) Emb-kumb, kas...või... p ⊕q on tõene parajasti siis, kui p ja q tõeväärtused on erinevad. Lausearvutuse tehete järjekord: 1) tehted sulgudes 2) tehted eitusega 3) konjunktsioon 4) disjunktsioon 5) implikatsioon 6) ekvivalents 7) antiekvivalents Võrdse prioriteediga tehted sooritatakse vasakult paremale. Väidete süsteem on vastuoluline siis, kui tõesustabelis pole ühtegi rida, kus väited oleksid kõik korraga tõesed. Kui aga leidub rida, milles süsteemi väited on korraga tõesed, siis oleme leidnud kontranäite väitele, et selle süsteemi kõik väited ei saa korraga tõesed olla. Laused on ekvivalentsed, kui nende
VÕI-EI kujulise loogikaavaldise saamiseks tuleb KNK-le rakendada topeltinversiooni koos järgneva DeMorgani seaduse rakendamisega. Küsimus 5 Õige Hindepunkte 1,00/1,00 Millised loogikatehted järgnevatest kuuluvad implikatiivse baasi koosseisu ? vali kõik õiged : Valige üks või mitu: inversioon implikatsioon konjunktsioon disjunktsioon Küsimus 6 Õige Hindepunkte 1,00/1,00 Millised loogikatehted ja konstandid kuuluvad Reed-Mulleri baasi koosseisu ? vali kõik õiged : Valige üks või mitu: implikatsioon konstant 1 inversioon ekvivalents summa mooduliga 2 (välistav VÕI) konstant 0 konjunktsioon disjunktsioon Küsimus 7 Õige Hindepunkte 1,00/1,00
KNK-le rakendada koos järgneva topeltinversiooni rakendamisega. DeMorgani seaduse Küsimus 5 Õige - Hinne 1,00 / 1,00 Millised loogikatehted järgnevatest kuuluvad implikatiivse baasi koosseisu ? vali kõik õiged : Vali üks või enam: implikatsioon konjunktsioon disjunktsioon inversioon Küsimus 6 Õige - Hinne 1,00 / 1,00 Millised loogikatehted ja konstandid kuuluvad Reed- Mulleri baasi koosseisu ? vali kõik õiged : Vali üks või enam: konstant 0 konjunktsioon summa mooduliga 2 (välistav VÕI) ekvivalents inversioon konstant 1 disjunktsioon implikatsioon Küsimus 7 Õige - Hinne 1,00 / 1,00 Millised loogikafunktsioonid peavad kuuluma loogikafunktsioonide süsteemi koosseisu, et
6 2. avaldisega vasakpoolses veerus võrdub parempoolses veerus avaldis: nr. 3 4. avaldisega vasakpoolses veerus võrdub parempoolses veerus avaldis: nr. 5 Küsimus 7 Õige / Hinne 1,00 / 1,00 Millistest tehetest ja väärtustest koosneb loogikaalgebra ? Vali üks või enam: loogikatehe KONJUNKTSIOON loogikatehe IMPLIKATSIOON väärtus "1" loogikatehe INVERSIOON loogikatehe SUMMA MOODULIGA 2 loogikatehe VÄLISTAV VÕI loogikatehe EKVIVALENTS väärtus "-1" loogikatehe DISJUNKTSIOON väärtus "2" väärtus "0" Küsimus 8 Õige / Hinne 1,00 / 1,00 Mingi avaldise jaoks duaalse avaldise saamiseks tuleb selles avaldises teha järgnevad asendused: konstant 0 tuleb asendada konstandiga 1 konstant 1 tuleb asendada konstandiga 0 loogikatehe inversioon jääb asendamata ehk jääb senisel kujul alles loogikatehe konjunktsioon tuleb asendada tehtega DISJUNKTSIOON
Konjunktsioon &, , AND Konjunktsioon kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Jüri õpib ja Mari õpib Jüri ja Mari õpivad Nii Jüri kui ka Mari õpivad ... Eitus ¬, NOT, ~ Tõese lause eitus on väär ja vastupidi. Jüri ei õpi täna Ma ei saa mitte midagi aru Disjunktsioon V, OR Disjunktsioon kahe lause vahel on väär täpselt siis, kui mõlemad tema osalaused on väärad. Jüri õpib või vaatab telekat Välistav disjunktsioon xor, exclusive or On disjunktsioon, mis on väär ka juhul kui tema mõlemad osalaused on tõesed. Sa sööd kõik ära või sa saad karistada Implikatsioon , IF... THEN... Implikatsioon kahe lause vahel on väär täpselt siis, kui tema vasakpoolne osalause on tõene ja parempoolne osalause on väär. Tõeväärtustabelid p q p&q pq pq pq 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 Ülesanne
00 out of vali kõik õiged : 1.00 Select one or more: inversioon konjunktsioon disjunktsioon Lehekülg 1/4 24.11.2012 19:37 KONTROLLKÜSIMUSTEGA TEST - funktsioonide täielikud süsteemid... file:///C:/Users/CPU/Desktop/Diskmati_TESTID_moodle__'s_-_100%... implikatsioon
Väär Küsimus 2 Osaliselt õige - Hinne 0,75 / 1,00 vali kõik õiged väited: Vali üks või enam: Funktsioonil võib Taandatud DNK puududa, kuigi minimaalne DNK (MDNK) on sellel funktsioonil olemas - VALE Taandatud DNK-d on võimalik leida Karnaugh' kaardi abil Taandatud DNK ja minimaalne DNK (MDNK) võivad olla üks ja sama avaldis Taandatud DNK võib olla suurema keerukusega avaldis kui minimaalne DNK (MDNK) Taandatud DNK on funktsiooni kõikide implikantide disjunktsioon - VALE Taandatud DNK on funktsiooni kõikide lihtimplikantide disjunktsioon Funktsioonil võib olla mitu erinevat Taandatud DNK-d - VALE Taandatud DNK võib olla väiksema keerukusega avaldis kui minimaalne DNK (MDNK) - VALE Küsimus 3 Õige - Hinne 3,00 / 3,00 Osaliselt määratud loogikafunktsioonile MDNK leidmisel McCluskey' meetodiga lisatakse selle funktsiooni mille tulemusel saadakse
Küsimus 1 Õige - Hinne 1,00 / 1,00 kas väide on õige või vale ? Karnaugh' kaardi igale ruudule vastab üks konkreetne argumentvektor Vali üks: Tõene Väär Küsimus 2 Õige - Hinne 1,00 / 1,00 Mingi funktsiooni kõikide lihtimplikantide disjunktsioon on DNK taandatud Küsimus 3 Õige - Hinne 1,00 / 1,00 Karnaugh' kaardi üheruudulise kontuuri ulatuses . . . on konstantsed selle funktsiooni kõik muutujad Küsimus 4 Õige - Hinne 1,00 / 1,00 Millised järgnevad mõõdud (kaardiruudud x kaardiruudud x kaardiruudud) võivad olla Karnaugh' kaardi kontuuride mõõtudeks? (märgi kõik sobivad mõõdud) Vali üks või enam: 1x2x3 4x4x8 3x3x3 2x3x4 2x4x8
Correct Mark 1 out of 1 Select one: summa mooduliga 2 implikatsioon konjunktsioon disjunktsioon ekvivalents Question 2 Osaliselt määratud loogikafunktsioonile MDNK leidmisel McCluskey' meetodiga lisatakse Correct määramatuspiirkond selle funktsiooni 1de piirkonnale mille tulemusel Mark 3 out of 3 saadakse laiendatud 1de piirkond
11.2012 19:35 KONTROLLKÜSIMUSTEGA TEST - loogikaalgebra file:///C:/Users/CPU/Desktop/Diskmati_TESTID_moodle__'s_-_100%... väärtus "-1" loogikatehe IMPLIKATSIOON loogikatehe DISJUNKTSIOON väärtus "0" väärtus "2" loogikatehe VÄLISTAV VÕI loogikatehe EKVIVALENTS väärtus "1"
Select one: True False Question 3 kas järgnev väide on õige või vale? Correct TDNK-avaldises tohib kõik tehted disjunktsioon asendada alati tehtega summa mooduliga Mark 1 out of 1 2, kusjuures selliselt muudetud avaldis on esialgse TDNK-avaldisega loogiliselt samaväärne Select one: True False
Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷↔𝑸 on nagu 𝑃→𝑄 ja samal ajal ka 𝑄→𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem
muutujate puhul Predikaat: lause, mis sisaldab ühte või enamat muutujat Samaselt tõene predikaat: predikaat, mis kehtib kogu määramispiirkonnas Samaselt väär predikaat: predikaat, mis ei kehti kusagil määramispiirkonnas Tautoloogia: samaselt tõene lause Täidetav predikaat: predikaat, mis on tõene osas oma määramispiirkonnas Üldsuse kvantor: näitab, et predikaat kehtib oma määramispiirkonna kõigi muutujate puhul Vastuolu: samaselt väär lause Või-tehe: disjunktsioon Hulgad Alamhulk: hulk, mille kõik elemendid kuuluvad suuremasse hulka, mile alamhulk ta on Cantori normaalkuju: ühisosade ühend või ühendite ühisosa, kus täiendit on rakendatud ainult üksikutele hulgatähistele Grassmani valemid: esitavad hulkade ühisosa või ühendi elementide arvu Hulga astmehulk: hulga kõikide osahulkade hulk Hulga täiend: hulka mittekuuluvate elementide hulk Hulk: algmõiste, intuitiivse definitsiooni järgi objektide kogum
hüüumärk täpsustab, et "leidub täpselt 1" Question 3 Vali loetelust õige alternatiivne nimetus nendele loogikatehetele. Correct Mark 1 out of 1 konjunktsioon on disjunktsioon on implikatsioon on Question 4 otsusta, kas see väide on tõene või vale: Correct "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Mark 1 out of 1
Lausearvutuse lause on lause, millele saab omistada tõeväärtust(0,1). Tõeväärtuseid on kaks, 0-väär, 1-tõene. Lihtlause on lihtsaim lausearvutuse lause. Lausearvutuse lauseid tähistatakse suutre tähtedega A, B, C. Liitlause koosneb lihtlausetest ning neid siduvatest konstruktisoonidest ja sidesõnadest. Lausearvutuse loogikatehted on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Binaarsed tehted on need tehted, mida saab teha kahe argumendi korral(konjunktsioon, disjunktsioon, implikatsioon, ekvivalents). Unaarne tehe on tehe, mida saab rakendada üksikule argumendile/operandile(inversioon). Ekvivalents on kahepoolne implikatsioon. Elementaarsed loogikatehted on inversioon, konjunktsioon, disjunktsioon, kuna nende abil saab esitada kõik teised tehted.
4-mõõtmeline Boole'i ruum on kõikide 4-järguliste 2ndvektorite hulk. Vali üks: Tõene Väär Küsimus 4 Õige - Hinne 6,00 / 6,00 vali sobivad väljendid, mille korral lause on õige: Täielikult määratud loogikafunktsioon on kõikjal määratud ühene vastavus Küsimus 5 Õige - Hinne 1,00 / 1,00 sisesta lünka õige sõna: on üksik algterm või algtermide disjunktsioon. Elementaardisjunktsioon Küsimus 6 Õige - Hinne 1,00 / 1,00 sisesta õige vastus arvuna: Mitu rida on 4-muutuja loogikafunktsiooni tõeväärtustabelis? Vastus: 16 Küsimus 7 Õige - Hinne 1,00 / 1,00 Mitu 2-muutuja loogikafunktsiooni on olemas ? (sisesta õige arv) Vastus: 16 Küsimus 8 Õige - Hinne 1,00 / 1,00 Täielik DNK on selline DNK, kus . . . Vali üks: . . . tõeväärtustabeli kõikidel ridadel on funktsiooni väärtus "1" . .
Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI-tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷 ↔ 𝑸 on nagu 𝑃 → 𝑄 ja samal ajal ka 𝑄 → 𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem. Kui A on valem, siis valemid on ka 𝐴̅ ja (A). Kui A ja B on valemid, siis on valemid ka 𝐴 ∧ 𝐵, 𝐴 ∨ 𝐵, 𝐴 → 𝐵, 𝐴 ↔ 𝐵.
Lehekülg 2/4 24.11.2012 19:39 KONTROLLKÜSIMUSTEGA TEST - loogikafunktsioonid file:///C:/Users/CPU/Desktop/Diskmati_TESTID_moodle__'s_-_100%... Mark 1.00 out of elementaardisjunktsioon 1.00 on üksik algterm või algtermide disjunktsioon. Question 15 Määramatuspiirkonna moodustavad sellised argumentvektorid, mille korral loogikafunktsioon Correct ... Mark 1.00 out of 1.00 Select one: ei omanda väärtust
k { 0 , 1 } , millel on defineeritud 3 elementaarset loogikatehet: unaarne tehe i loogiliselt võrdsed, kui nende tõeväärtustabelid on täpselt samasugused n inversioon ja binaarsed tehted konjunktsioon ja disjunktsioon. h näide: x1 x ¯2 w= x2x1 w x ¯1 x2 e
A1 x x A2 x x A3 x x A4 x x A5 x x x x A6 x x x x f = A1 & A2 & A3 & A5 Lihtimplikan t Vahed x1 x2 x3 x4 Disjunktsioon A1 2 0 1 - 0 x1 x4 A2 8 - 1 1 0 x4 A3 4 1 - 0 1 x3 A5 2,8 - 0 - 1 x2 f (x1,x2,x3,x4) = (x1 x4)( x4)( x3 )(x2 ) 3. Teisendada punktis 2 leitud MKNK loogikaalgebra põhiseaduste abil DNK- kujule (ehk korrutada MKNK
12 1 1 0 0 1 13 1 1 0 1 - 14 1 1 1 0 0 15 1 1 1 1 0 1.3 Tähistusi tähistatav tähistus inversioon x disjunktsioon v konjunktsioon & või " " lihtimplikant AX (X=1..n) DNK disjunktiivne normaalkuju KNK konjunktiivne normaalkuju täielik disjunktiivne / konjunktiivne TDNK/TKNK normaalkuju
Kesktermin on mõlemas eelduses alati täies mahus Väiketermin on tautoloogia. Kesktermin esineb eelduste sidumiseks mingi põhjuse või aluse (ÕIGE VASTUS) 2. Kui (mittevälistava) disjunktiivse süllogismi esimeses eelduses on neli komponentlauset ja teises eelduse eitatakse kaht esimese eelduse komponentlauset, siis … Lõppjäreldus on kahe ülejäänud komponentlause vaheline disjunktsioon. (VÕIMALIK ÕIGE LAUSE) Lõppjäreldus on kahe eitatud komponent lause jaatus. Lõppjäreldus on kahe ülejäänud komponentlause vaheline konjunktsioon. Lõppjäreldus on kahe ülejäänud komponentlause vaheline range disjunktsioon. See süllogism ei saa olla kehtiv 3. Kehtivas tingiv-kategoorilises süllogismis: Väljendab teine eeldus alternatiivi.
Tabelid. Tabel nr 1. Formaalse loogika põhilised sümbolid (allikas: Galina Vuks, Traditsiooniline formaalne loogika, Tartu, 1999, lk 18). Sümbol Nimetus A, B, C,... p, q, r, s... lausemuutujad, atomaarsed valemid ( ); ¬, &, , , sulud; loogiliste tehete sümbolid prioriteedijärjestuses alates kõrgemast: eitus, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents t tõeväärtuse tõene sümbol v tõeväärtuse väär sümbol järeldumine x, y, x1, x2... y1, y2... üksikobjektide muutujad P, Q... P1, Q1... , 1, 2 predikaatide sümbolid a, b, c... a1, b1, c1... konstantsete üksikobjektide sümbolid
f5 X2 kordus O1O1 f5=X2 X2 1 f6 mittesama- O11O väljundis on f6=X1 X2 väärsus e. signaal 1. Ainult f6= X 1X2+ M2 VÕI (välistus) siis kui sisendite X1 X 2 olek on erinev f7 disjunktsioon O111 väljundis on f7=X1+X2 e. Loogikaline signaal 1 kui kas liitmine e. või ühes sisendis 1 VÕI on 1. f8 Pierce´i tehe e. 1OOO väljundis on f 8= X 1+ X 2 disjunktsiooni signaal 0 kui 1 inversioon e. kas või ühes
A4 X X A5 X X A6 X X A7 X X A8 X X X X Lihtimplikant Vahed X1 x2 x3 x4 Disjunktsioon A3 4 1 0 0 0 (x1 x3 x 4 ) A4 8 0 0 1 1 ( x 2 x3 x 4 ) A8 1,2 0 0 0 0 (x 1 x2 ) MDNK f ( x1 , x 2 , x3 , x 4 ) = x1 x 2 x1 x3 x 4 x 2 x3 x 4 3. 4. Täielik DNK
1. Sissejuhatus: 1.1. Mis on loogiline programmeerimine? l Programmeerimise paradigma l loogiline (LP) l funktsionaalne (FP) l jt Fookus: MIDA ARVUTADA l LP ja FP on deklaratiivsed programmeerimisstiilid; l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure (resolutsioon, unifitseerimine); l LP keel on Prolog, kuid LP ≠ Prolog; 1.1. Mis on loogiline programmeerimine? (2) l LP sobib tehisintellekti rakenduste programmeerimiseks: l loomuliku keele analüüs ( DCG grammatikareeglid) l ekspertsüsteemid (otsingu- ja järeldusreeglid) l kujundituvastus (tuvastusreeglid) l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete funktsioonide püsipunkti arvutus l jne l LP ei sobi: l Kiired numbrilised arvutused (n. maatriksarvutused, võrrandid) l OOP (kuigi on toetatud mõnes prologis) l kasu...
konstantsed funktsioonid ? eksponentsiaalsed funktsioonid ? pidevad funktsioonid ? pööratavad funktsioonid ? nulli säilitavad funktsioonid ? määramatust säilitavad funktsioonid ? lineaarsed funktsioonid ? Küsimus 9 Õige - Hinne 1,00 / 1,00 Millise loogikatehtega on võimalik funktsiooni tõeväärtustabeli abil äratunda selle funktsiooni lineaarsust ? Vali üks: lahutamine summa mooduliga 2 jagamine implikatsioon konjunktsioon inversioon ekvivalents disjunktsioon Küsimus 10 Õige - Hinne 1,00 / 1,00 Kui loogikafunktsiooni normaalkujulises avaldises ei leidu mitte ühtegi inversiooni, siis selline funktsioon on alati . . . ( vali kõik õiged ) Vali üks või enam: nulli säilitav ? ühte säilitav ? pööratav ? - VALE monotoonne ? lineaarne ? - VALE Küsimus 11 Õige - Hinne 1,00 / 1,00 kas järgmine väide on õige või vale ? Leidub loogikafunktsioone, mis kuuluvad samaaegselt kõikidesse loogikafunktsioonide klassidesse
4. Leian vabalt valitud viisil punktis 2 saadud MDNK-ga (loogiliselt) võrdse Taandatud DNK ja Täieliku DNK. x3x4 x1x2 00 01 11 10 00 1 1 1 1 01 0 0 0 0 11 0 1 1 0 10 1 0 0 0 4.1. Leian Taandatud DNK Taandatud DNK on kõikide lihtimplikantide disjunktsioon ning antud juhul võrdne MDNK'ga: x x x 2 x3 x 4 x1 x 2 x 4 f(x1,x2,x3,x4) = 1 2 x3x4 x1x2 00 01 11 10 00 1 1 1 1 01 0 0 0 0 11 0 1 1 0 10 1 0 0 0 4.2. Leian Täieliku DNK ehk TDNK
A6 x MKNK: f(, , , ) = (v v )( v v )( v v ) 3.Teisendada punktis 2 leitud MKNK loogikaalgebra põhiseaduste abil DNK-kujule 4. Leida vabaltvalitud viisil punktis 2 saadud MDNK-ga (loogiliselt) võrdne Taandatud DNK ja Täielik DNK, näidates (selgitades) mõlema jaoks ära ka nende leidmisviisi. Taandatud DNK leidmine MDNK: f(, , , ) = v v v Taandatud DNK on kõigi lihtimplikantide disjunktsioon. Kõik lihtimplikandid ehk maksimaalsed ühtede intervallid on märgitud Karnaugh' kaardil kontuuridena. x3x4 00 01 11 10 x1x2 00 1 1 1 1 01 1 0 1 1 11 0 0 1 1 10 1 1 0 0 Taandatud DNK: f(, , , ) = v v v v Täieliku DNK leidmine Täieliku DKN saab Karnaugh' kaardilt, kirjutades välja kõik ühtede intervallid.
Question 9 Millise loogikatehtega on võimalik funktsiooni tõeväärtustabeli abil Correct äratunda selle funktsiooni lineaarsust ? Mark 1.00 out of 1.00 Select one: implikatsioon disjunktsioon konjunktsioon summa mooduliga 2 lahutamine ekvivalents jagamine inversioon
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Tallinn 2011 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matriklinumber: 112799 Matriklinumbri 16ndkuju: 1B89F 16ndarvu 8*3-ga korrutamisel tekib 8-järguline 16ndarv: 1B89F*3*3*3*3*3*3*3*3 = 2C1CA2FF Saadud 16ndarv sisaldab numbrimärke 1 2 A C F , kus 16ndnumbrid A C F omavad väärtusi: A = 10 C = 12 F = 15 Saadud 16ndarvu 8 järguväärtust 0 . . . 15 määravad loogikafunktsiooni 1-de piirkonna. (korduvaid järguväärtusi võib ignoreerida) Seega on 4-muutuja loogikafunktsiooni 1de piirkonnaks (numbrilises 10ndesituses): 2 12 1 10 15 (numbreid 2, C ja F (ehk 2, 12 ja 15) on arvus mitu – neid võib arvestada ühekordselt) 8-järgulise 16ndarvu jagamisel 11-ga tekib 7-järguline 16ndarv: 2C1CA2FF/11 = 29845D2 Saadud 16ndarv sisaldab numbrimärke 2 4 5 8 9 D , kus 16ndnumber D omab väärtust: D = 13 11-ga jagamisel tekkiva 16ndarv...
Loogikafunktsiooni implikant Lihtimplikant Taandatud DNK Taandatud DNK (TaDNK) on funktsiooni kõikide lihtimplikantide disjunktsioon. Mõistel IMPLIKANT pole mingit seost loogikatehtega implikatsioon. Eelmise näitefunktsiooni Taandatud DNK esitub Karnaugh' kaardil : Ü Loogikafunktsiooni implikandiks nimetatakse tema 1-de piirkonna x 2 x3 T mistahes intervalli ( ehk tema igat "ühtede intervalli" ).
Laiutiotsing - algolek on algtipp, variandid järgmised olekud (puu läbi vaatamine, kus tipud läbitakse tasehaaval) Semantilised võrgud Koostada semantiline võrk (väh 5 tippu), mis esitab ametialaseid vm suhteid inimeste vahel (valdkonna võib vabalt valida). Harjutusülesanded predikaatarvutuses ------------------------------------- E - keegi (olemasolukvantor) A - iga (üldisuskvantor) ½ - eitus & - konjuktsioon V - disjunktsioon ------------------------------------- 2 - Vanakraamikaupmees Predikaadid: C(x) - x on vanakraamikaupmees; H(x) - x on aus inimene. Tõlkida eesti keelde valemid (vt esitlus T10 slaid 16): 1) Leidub x nii, et C(x): Leidub keegi, kes on vanakraamikaupmees (Leidub vanakraamikaupmees). 2) Leidub x nii, et H(x): Leidub keegi, kes on aus inimene (Leidub aus inimene). 3) Inimene, kes on vanakraamikaupmees, ei ole aus inimene. (Iga vanakraamikaupmees on
Omavahel saab võrrelda ainult võrdsete pikkustega vektoreid. Loogikafunktsioonid ja loogikaavaldised 1. Mis on loogikaalgebra? Loogikaalgebra on Boole’i algebra erijuht, kus alushulgaks on kaheelemendiline hulk {0,1}. 2. Millest loogikaalgebra koosneb? Loogikaalgebra koosneb loogikaväärtuste hulgast {0,1}, millele on defineeritud 3 elementaarset loogikatehet: unaarne tehe inversioon (¯) ja binaarsed tehted konjunktsioon (∧) ja disjunktsioon (∨). 3. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada üksnes väärtusi {0 1} 4. Kuidas nimetatakse numbrimärkidega 0 ja 1 esitatud loogikaväärtusi? Konstant. 5. Mis on loogikaavaldis? Loogikaavaldise definitsioon. Loogikaavaldis on loogikamuutujatest, konstantidest ja tehtemärke sisaldav kooslus, mis muutujate väärtustamisel omandab samuti väärtuse 0 või 1. 6. Millist loogikatehet tähendab tehtemärgi puudumine operandide vahel
.. kui ka ... Nii kass näub kui ka koer haugub. Tähistused: p & q pq p·q p and q Konjunktsiooni tõeväärtustabel (kahel samaväärsel kujul): p q p&q p q p&q t t t 1 1 1 t v v 1 0 0 v t v 0 1 0 v v v 0 0 0 DISJUNKTSIOON (disjunction): Lausete p ja q disjunktsiooniks nimetatakse lauset, mis on tõene siis ja ainult siis, kui vähemalt üks komponentlause on tõene. Disjunktsioon sisaldab seost või (mittevälistavana). Nt: Kass näub või koer haugub. Disjunktsiooni sisaldava lause saab alati ümber sõnastada kujul: Kas kass näub või tiiger näub või mõlemad korraga näuvad. Disjunktsioon on väär siis ainult siis, kui ta mõlemad osalaused on väärad. Tähistused: pq p or q
P — väljas on pime ∧ loogiline korrutamine e. konjunktsioon e. JA-tehe R — päikesevarjutus kestab ( aritmeetilise korrutamise analoog loogikas ) L — päike on loojunud ∨ loogiline liitmine e. disjunktsioon e. VÕI-tehe M — Ferrari on kiirem kui McLaren ( aritmeetilise liitmise analoog loogikas ) H — Häkkinen võidab sõidu → loogiline järeldamine e. implikatsioon ( ei oma aritmeetikas analoogi) Esitada järgnevad liitlaused lausearvutusvalemitena: ↔ loogiline samaväärsus e. ekvivalents
Mis on ortogonaalsustehe? Millele teda rakendatakse? Vt lk 217 Mis on loogikafunktsiooni implikant? Mis on lihtimplikant? Loogikafunktsiooni implikandiks nimetatakse igat tema 1-depiirkonna intervalli. Lihtimplikandiks nimetatakse maksimaalset implikanti. Lihtimplikant ei sisaldu tervikuna mitte üheski veelgi suuremas selle funktsiooni implikandis. Mis on funktsiooni taandatud DNK? Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. Mitu erinevat taandatud DNK-d võib funktsioonil olla? Igal funktsioonil on täpselt 1 taandatud DNK. Milline seos on funktsiooni taandatud DNK ja MDNK vahel? MDNK koosneb alati osadest või kõikidest taandatud DNK elementaarkonjuktsioonidest. MDNK ja taandatud DNK võivad olla ka kokkulangevad. McCluskey: Kui suure muutujaarvu korral on McCluskey minimeerimismeetod rakendatav? Suvalise muutujaarvule. Millised on McCluskey meetodi põhietapid? 2 etappi:
A A = A A = I konjunktsioon ühisosa u t idempotentsus: u disjunktsioon ühend A A = A A A = A t i t . . . ei oma loogikas vastavat tehet . . . lahutamine e. vahe n s summa mooduliga 2 kommutatiivsus: I
nimetatakse ka loogikaalgebraks. Lausearvutuse Boole’i algebra kandvat hulka võiks nimetada FORMAALSETE LAUSETE hulgaks, need esinevad sümbolkujul, neil pole iseenesest ei tõeväärtust ega tavakeelset kuju. LAUSEARVUSTUSE TEHE on formaalsete lausete hulgal defineeritud tehe, mille tulemi kuju on üheselt määratud operandide ja tehtesümboliga. LAUSEARVUSTUSE TEHTED 1. EITUS 2. KONJUNKTSIOON p&q, on tõene parajasti siis, kui p ja q mõlemad on tõesed. 3. DISJUNKTSIOON p v q, on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. 4. IMPLIKATSIOON p--) q, on väär parajasti siis, kui p on tõene ja q on väär. Lausearvustuses on kasutusel MATERIAALNE IMPLIKATSIOON ( lk 265), mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. 5. Ekvivalents p(--)q, on tõene parajasti siis, kui tema operantidel on ühesugune tõeväärtus. 6
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
