rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Predikaatarvutus on lausearvutuse laiendus, milles kasutatakse täiendavalt redikaadi, inviidi ja kvantori mõisteid. Lausearvutus Lausemuutujad: A, B, C, ... Loogikatehted: &, V, , , Kirjavahemärgid: () Loogikatehted Konjunktsioon - &, AND Konjunktsioon kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Disjunktsioon – V, OR Disjunktsioon kahe lause vahel on väär täpselt siis, kui mõlemad tema osalaused on väärad. 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. Ekvivalents - Ekvivalents kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on ühesuguse tõeväärtusega. Eitus- , NOT Tõese lause eitus on väär ja vastupidi. Tõeväärtustabelid
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
Lausearvutuse tehted, 3. KT Eitus ¬p Konjunktsioon p & q. (korrutustehe) Loomulikus keeles on konjunktsiooni indikaatoriteks ja, ning, ent, kuid, aga, nii...kui ka...; vahel võib konjunktsiooni tähistada ka punkt või koma. Disjunktsioon p ∨q. Või (liitlause) Lause on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. Lause on väär vaid siis, kui mõlemad p ja q on väärad (0). Implikatsioon p →q. Lause on väär ainult siis, kui p on tõene ja q on väär. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene,
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
komplekti korral kaks loogikaavaldist on alati võrdsed, kuna nad on mõlemad loogikaavaldised Küsimus 3 Õige / Hinne 1,00 / 1,00 Kas järgnev väide on õige ? Kui mingi avaldise duaalsele kujule leida omakorda edasi selle duaalne kuju, siis on tulemuseks esialgne avaldis. Vali üks: Tõene Väär Küsimus 4 Õige / Hinne 1,00 / 1,00 Millise loogikatehtega on samaväärne tehtemärgi puudumine operandide vahel ? Vali üks: ekvivalents disjunktsioon implikatsioon konjunktsioon inversioon Küsimus 5 Õige / Hinne 1,00 / 1,00 Millised järgnevad võrdused on loogikaalgebra põhiseosteks (ehk kehtivad nende muutujate x y z suvaliste väärtuste korral) Vali üks või enam: 1 2 3 4 5 6 7 8 Küsimus 6 Õige / Hinne 1,00 / 1,00 Sea võrdsed avaldised omavahel vastavaks (avaldised allpool) 5. avaldisega vasakpoolses veerus võrdub parempoolses veerus avaldis: nr. 2 3
Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. 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
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
Diskmatt terminid Lausearvutus Disjunktsioon: liitlause on tõene, kui vähemalt üks osalause on tõene Ekvivalents: liitlause on tõene, kui osalaused on sarnased Implikatsioon: liitlause on tõene, kui esimene muutuja on väär või teine muutuja on tõene Inversioon: eitus Ja-tehe: konjunktsioon Konjunktsioon: liitlause on tõene, kui mõlemad osalaused on tõesed Lause: iga lause, mille puhul saab rääkida tema vastavusest tegelikkusele (millel on tõeväärtus)
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" . .
võimalik lausearvutuslause. 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
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
31.Tõesustabeliga etteantud tõeväärtusega lauset saab alati kirja panna….? Disjunktiivsel normaalkujul. 32.Kui arutlusprotsessis tuleb väidete tõesusi ümber hinnata, siis … ? Mittemonotoonne loogika. 33.Kui kategoorilise süllogismi mõlemad eeldused on üldised väited ja terminite mahud pole tühjad…? Võib olla ka osaline väide. 34.Ristuvad terminid on kindlasti… ? Ühendatud. 35.Üldeitav ja osaeitav erinevad alati teineteisest …? Kvantiteedi tõttu. 36.Disjunktsioon on väär siis ja ainult siis…? Kui kõik operandid on väärad. 37.Neljast traditsioonilise loogika põhireeglist… ? Küllaldase aluse seadus. 38.Teadmatusele tigenvat demagoogilist võtet nim…? Ed arantum?aranteim? 39.Loogilises ruudus peab olemasolu impordi vea võimalusega arvestama siis, kui … ? … osaeitava väite tõesus. 40.Binaarse predikaadi ees paikneb 2 kvantorit… Millal tohib neid kvantoreid vahetada? Milline on väär?
(A & B) (A B) (A B) (A B) Valemite välimised sulud väib ära jätta. Muid lausearvutuse valemeid (nt A¬, AB&, B(A), B(A), AB jne) ei ole. Lausearvutuse loogiliste tehete tõeväärtustabelid (vt ka Lisa) Eitus p ¬p t v v t Eitus muudab lause tõeväärtuse vastupidiseks. Konjunktsioon p q p&q t t t t v v v t v v v v Konjunktsioon on tõene ainult siis, kui mõlemad tema osalaused on tõesed. Disjunktsioon p q pq t t t t v t v t t v v v Disjunktsioon on väär ainult siis, kui mõlemad tema osalaused on väärad. Implikatsioon p q pq t t t t v v v t t v v t Implikatsioon on väär ainult siis, kui tema eeldus on tõene ja järeldus väär. Ekvivalents p q pq
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
Predikaadid (faktid) o kasutaja poolt defineeritavad predikaadid o sisemised e. sisseehitatud predikaadid Predikaadi tähistus: teekond/1 teekond – predikaadi funktor 1 – predikaadi aarsus. Horni lause (clause) Lause esineb fakti või reegli kujul. Iga lause algab predikaadi nimega ja lõpeb punktiga. Mitu sama funtori ja aarsusega lauset defineerivad Horni lause alternatiivid. Loogikatehted , - konjunktsioon ; - disjunktsioon not - eitus (eitus kehtib ainult Prologi andmebaasi kontekstis so ”suletud maailma” eeldus) b:- a või s:- a -> b (reegli kehas) – implikatsioon s:- not(a);b. ; (käsurealt) nõuab otsingumootorilt järgmist lahendit Reeglid Reegel ehk tingimuslik Horni lause. Päringud (queries) - Päring defineerib programmi jaoks sihi (goal). - Päring: call(Goal) on semantiliselt samaväärne päringuga ?– Goal
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
= 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. MDNK: f ( x ₁, x ₂, x ₃, x ₄ )=x ₂ x ₃ ˅ x ₃ x ₄ ˅ x ₁ x ₂ x ₄ ˅ x ₂ x ₃ x ₄ Taandatud DNK leidmine: Taandatud disjunktiivne normaalkuju on funktsiooni kõigi lihtimplikantide disjunktsioon. Karnaugh’ kaart: x₃x₄ x₁x₂ 00 01 11 10 Taantatud DNK: 00 0 1 0 1 01 _ _ 0 0 11 1 _ 1 0 10 _ _ 0 1 f ( x ₁, x ₂, x ₃, x ₄)=x ₂ x ₃˅ x ₃ x ₄˅ x ₁ x ₂ x ₄˅ x ₂ x ₃ x ₄ ˅ x ₁ x ₃ f(x₁,x₂,x₃x₄ f(x₁,x₂,x₃x₄
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 
