Avaldus (kohtuotsus) on narratiivse ettepaneku, milles midagi kinnitatakse või keelata. Mis tahes avalduse osas on tõsi, et see on tõene või vale.
Loogika väärtused: sõnad väljendatud mõisted: Tõde (TRUE), FALSE (FALSE).
Loogiline konstant: Tõde (TRUE), FALSE (FALSE).
Loogiline muutuja: sümboolselt näidatud loogiline väärtus. Seega, kui on teada, et a, x, y jne - loogilised väärtused, siis tähendab see, et nad saavad ainult väärtusi võtta või valesid.
Loogiline väljendus: lihtne või keeruline avaldus. Keerulised avaldused on ehitatud lihtsatest loogikaoperatsioonid (sidemed).
Loogilised toimingud
Koos (loogiline korrutamine). Vene keeles, väljendatuna liidu I.
Matemaatilise loogika, Märgid ja koostoimed kasutatakse - topelttoiming, mis on kirjutatud kujul A ^ B (A, B - operandid). Sellise väljenduse väärtus on vale, kui vähemalt ühe operandi väärtus on vale.
Disjunktsioon (loogiline lisamine). Liit väljendatud vene keeles või. \\ T
Matemaatilise loogika puhul kasutatakse disjunktsiooni märke - topeltoperatsioon on kirjutatud AV-vormingus. Sellise väljenduse väärtus on tõde, kui vähemalt ühe operandi väärtus on tõene.
Eitamist. Vene keeles väljendab see liit, mitte (mõnes avalduses käive rakendatakse - see ei ole tõsi, et ...).
Matemaatilise loogika puhul kasutatakse eitamismärke - ühe (eesti) operatsiooni salvestatakse a või Or.
Loogiline valem (loogiline väljendus) - valem, mis sisaldab loogiliste operatsioonide loogilisi väärtusi ja märke. Loogilise valemi arvutamise tulemus on tõene või vale. Loogilistes valemites on tõde sageli 1, peitub nagu 0.
Loogiliste toimingute läbiviimise eeskirjad kajastuvad tõe tabelis.
Tank
Loogiliste valemite loogiliste toimingute järjestus määrab toimingute vanemuse järgi. Kõrgeim tööoperatsioon on keeldumine (see toimub varem kui teised), siis on olemas koostoimes (de) ja seejärel disjunction (või).
Loogika
Mugav viis loogiliste väljendite esindamiseks on loogilised skeemid. Nii kujutatakse sellistes skeemidel kolm peamist loogilist tegevust.
Selles tabelis kasutatakse järgmist märget:
1 - Tõde, 0 - vale ja või mitte - loogilised toimingud.
Näide1: joonistage diagramm loogilise väljenduseks 1 või 0 ja 1. Seejärel arvutage loogilise ekspressiooni väärtus.
Lahendus: skeem - arvutus:
Näide 2: Dana loogika skeem. Ehitada loogiline väljendus. Seejärel arvutage loogilise väljenduse väärtus.
Lahendus: Dana skeem -
Teha valemi - (1 või 0) ja 1. arvutada väärtus vastavalt skeemile 1 või 0 \u003d 1,
siis 1 ja 1 \u003d 1. SO (1 või 0) ja 1 \u003d 1.
Loogikateave ja loogika põhitõed
Otsene suhe programmeerimisel on distsipliin, mida nimetatakse matemaatilise loogikaks. Matemaatilise loogika aluseks on loogika algebra või avalduste arvutamine. Avalduse kohaselt tähendab mis tahes avaldust, mille kohta saab üheselt öelda, et see on tõeliselt või vale. Näiteks "Moon - Maa satelliit" - tõsi; "5\u003e 3" - tõeliselt; "Moskva - Hiina pealinn" - valesti; "1 \u003d 0" - FALSE. Tõde või valed on loogilised väärtused. Ülaltoodud avalduste loogilised väärtused on unikaalselt määratletud; Teisisõnu, nende väärtused on loogilised konstandid.
Ebavõrdsuse loogiline tähendus X< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
XIX sajandi keskel loodud matemaatilise loogika ametliku aparaadi aluseid. Inglise matemaatika George Bull. Tema au korral nimetatakse avalduste kalkulatsiooni Boolean algebra ja loogilised väärtused on Boolean.
Ühe avaldusi saab kombineerida liitloomi loogiliste valemitega loogiliste toimingute abil.
On kolm peamist loogilist tegevust: keeldumine, koostoimes (loogiline korrutamine) ja disjunction (loogiline lisamine).
Negatsiooni operatsioon on näidustatud ¬ matemaatilise loogika ja loe osakese mitte. See on üks operatsioon.
Näiteks ¬ (x \u003d y) loetakse "mitte (x võrdne y-ga)". Selle tulemusena on tõde, kui x ei ole võrdne ja valetab, kui x on võrdne. Keeldumine muudab loogilise väärtuse väärtust vastupidisele.
Side operatsiooni tähistab & ja loe osakeste ja. See on kahekordne operatsioon. Näiteks (x\u003e 0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0.1) ja vale - vastasel juhul. Järelikult on koosmõju tulemus tõde, kui mõlemad operandid on tõesed. Disjunktsiooni Voperatsiooni märk loetakse osakestena või. Näiteks (x \u003d 0) v (x \u003d 1) lugege "x võrdne 0 või x võrdne 1". Valem annab tõde, kui x on binaarne number (0 või 1). Järelikult tuleneb tõde disjunktsioon, kui vähemalt üks operand on tõe.
Pascalis on loogilised väärtused määratud teenindussõnad FALSE (FALSE) ja TRUE (Tõde) ja loogilise tüübi identifikaator on Boolean.
Lisaks väärtuste (konstantide ja muutujate) tüüpi boolean, loogika väärtused vale, tõsi võtta tulemused suhted.
Suhted (Jn 18) Võrdle kahte operandi ja määrata kindlaks, tõeliselt või valesti, vastava suhte vahel.
Salvestussuhete näited: x<у; a+b>\u003d C / d; ABS (M-N)<=l. Примеры вычисления значений отношений:
Loogilised toimingud viiakse läbi Bulevi tüüpi operandi kohal. On neli loogilist tegevust: mitte - keeldumine; Ja loogiline korrutamine (koostoimes); Või - \u200b\u200bloogiline lisamine (disjunction). Lisaks nendele kolme kohustuslikule tegevusele Turbo Pascalis on endiselt operatsioon - välja arvatud Or. Tema märk - teenuse sõna Hor. See on kahekordne operatsioon, mis tulemusena annab tõe väärtuse, kui mõlemal operandil on erinevad loogilised väärtused.
Toimingud on loetletud prioriteetide kahanevas järjekorras. Operandi erinevate väärtuste loogiliste operatsioonide tulemused on toodud tabelis. 3.5.
Tabel 3.5
Suhte operatsioonidel on madalaim prioriteet. Seega, kui loogilise operatsioonide operandid on suhted, tuleks need sulgudes lõpule viia. Näiteks vastab matemaatiline ebavõrdsus 1 ≤ x ≤ 50 järgmisele loogilisele ekspressioonile:
(1<=X) And (X<=50)
Loogiline väljendus on programmeerimiskeeles kirjutatud loogiline valem. Loogiline väljend koosneb loogiliste operatsioonide ja ümmarguste sulgudega seotud loogiliste operaatide. Loogilise väljenduse arvutamise tulemus on Boole'i \u200b\u200bväärtus (vale või tõsi). Loogilised operandid võivad olla loogilised konstandid, muutujad, funktsioonid, suhted. Üks eraldi loogika operand on logilise väljenduse lihtsaim vorm.
Loogiliste väljenduste näited (siin D, B, C - loogilised muutujad; X, Y-reaalsed muutujad; K - kogu muutuja):
Kui d \u003d tõsi; B \u003d FALSE; C \u003d tõsi; x \u003d 3,0; Y \u003d 0,5; K \u003d 5, arvutamise tulemused on järgmised:
Näide kasutas paaritu (K) loogilise funktsiooni. See on kogu argumendi K, mis võtab tõsi, kui K väärtus on paaritu ja vale, kui k on isegi.
Loogilise ülesande operaatoril on joonisel fig. üheksateist.
Loogiliste ülesannete operaatorite näited:
2) b: \u003d (x\u003e y) ja (k<>0);
3) C: \u003d d või b ja mitte (paaritu (k) ja d).
Programmeerimise hargnemine Pascalil
Peamised teemad lõiku:
♦ Pascalis asuva filiaali operaator;
♦ täieliku ja mittetäieliku filiaali programmeerimine;
♦ programmeerimine pesastatud harud;
♦ loogilised toimingud;
♦ keerulised loogilised väljendid.
Filiaali operaator Pascalis
Pascal keeles on filiaali operaator. Teine nimi on tingimuslik operaator, täieliku haru avalduse vorm on järgmine:
kui.<логическое выражение> Siis.<оператор1>
muidu.<оператор2>
Siin on - "kui", siis - "see", muidu - "muu".
Täieliku ja mittetäieliku hargnemise programmeerimine
Võrdle biid1 algoritmi salvestamist eelmisest lõikest vastava programmiga.
Väga sarnane vene keele tõlkimisega inglise keelde. Pöörake tähelepanu järgmistele erinevustele: Programmis ei ole hargruse lõppu tähistades erilist ametlikku sõna. Siin on filiaali otsingu märk koma-punkt. (Muidugi ei ole vaja programmis üldse tühja stringi jätta. Siin seda tehakse ainult selguse huvides.)
Loogilise väljenduse lihtne vorm on suhe. Nagu AYA-s, on Pascalis igasugused suhted lubatud (nende märgid on märgitud allpool):
< (меньше); >\u003d (enam või võrdne);
\u003e (rohkem); \u003d (võrdne);
<= (меньше или равно); <> (pole võrdne).
Ja nüüd programmeerime Pascalis pakkumise 2 algoritmi, kus kasutatakse mittetäielikku hargnemist.
Kõik on väga sarnane. Muu haru haru avalduses võib puududa.
Programmeerimine pesastatud harud
Me kirjutame programmi määramiseks suurema kolme numbri määramiseks Pascalis, plokkskeem, mis on näidatud joonisel fig. 6.6. Selle algoritmi struktuur on pesastatud harud. AA (BIT2) algoritm on esitatud eelmises lõigus.
Pöörake tähelepanu asjaolule, et muidu ees oleva komaga ei pane. Algoritmi struktuuri kogu hargneva osa lõpeb punktis D: c: \u003d c.
Me moodustame programmi kahe muutuja väärtuste ühtlustamiseks.
See näide illustreerib järgmist Pascal reegel: Kui mõnede filiaalide operaatorile on mitu järjestikust operaatorit, tuleb neid salvestada algava ja lõppteenuse sõnade vahel. Selle tüübi kujundamine:
alusta.<последовательность операторов> Lõpp.
nimetatakse komposiit-operaatoriks. Seetõttu üldises vormis filiaali eespool kirjeldatud<оператор1> ja<оператор2> Võib olla lihtne (üks) ja komposiit-operaatorid.
Loogilised toimingud
Lõpuks teeme veel ühe, kolmanda võimaluse programmi määramiseks suurema arvu kolmest.
Selle programmi tähendust ei ole raske mõista. Siin on kolm järjestikust mittetäielikku filiaali. Ja hargne tingimused on keerulised loogilised väljendid, mis sisaldavad loogilist operatsiooni ja (ja). Loogiliste toimingute puhul tegite, töötate andmebaasidega ja arvutustabelitega.
Tuletame meelde, et operatsioon ja nimetatakse loogilise korrutamise või koos koos. Selle tulemus on "tõde", kui mõlema operandi väärtused on "Tõde". Ilmselgelt, kui a\u003e ja a\u003e s, siis see on kõige olulisem ja nii edasi. Pascalis on kõik kolm peamist loogilist tegevust:
ja - ja (koos),
või - või (disjunction),
mitte - mitte (keeldumine).
Keerulised loogilised väljendid
Pöörake tähelepanu asjaolule, et loogiliste toimingutega seotud suhted on sulgudes. Nii et sa pead alati tegema! Näiteks on vaja kindlaks teha, kas numbrid A, B on vähemalt ühe negatiivse negatiivse seas. See ülesanne on järgmine filiaal operaator:
kui (A.<0) or (B<0) or (C<0)
Siis kirjutage ("jah") muidu kirjutage ("ei");
Negatiivse numbri suhtes tõsi väljendit võib kirjutada ka järgmiselt:
Lühidalt peamise asja kohta
Filiaali operaator (tingimuslik operaator) Pascal on vorm:
kui.<логическое выражение>
Siis.<оператор1> Muidu.<оператор2>
Tingimusliku operaatori filiaalidel võib olla lihtsad või komposiitettevõtjad. Komposiit operaator on algava ja lõppteenuse sõnade vahel sõlmitud operaatorite järjestus.
Raskesti loogilised väljendid Kasutatakse loogikaoperatsioone: ja või mitte.
Küsimused ja ülesanded
1. Kuidas on täielik ja mittetäielik hargnemise programm?
2. Mis on komposiit operaator? Millistel juhtudel on haruaruandes kasutatud komposiitoperaator?
3. Tehke kõik programmid selles lõikes arvutis.
4. moodustavad vähemalt kolm kolme numbri määratluse programmi erinevat programmi.
5. Tehke sorteerimisprogramm kolme muutuja väärtuste suurendades: A, B, C.
6. Tehke programm ruudu võrrandi juurte arvutamiseks vastavalt oma koefitsientide väärtustele.
Avaldus (kohtuotsus) \\ t - see on narratiivi pakkumine, milles midagi kinnitatakse või keelata. Mis tahes avalduse osas võib öelda, et see on õige või vale. Näiteks:
"Jää - vee seisund" - tõeline avaldus.
"Kolmnurk, see on geomeetriline joon" - tõeline avaldus.
"Pariis - Hiina pealinn" on vale avaldus.
6 < 5 - ложное высказывание.
Loogilised kogused:mõisted sõnadega väljendatud mõisted: Tõde, FALSE (TRUE, FALSE). Järelikult väljendatakse avalduste tõde loogiliste väärtuste kaudu.
Loogiline konstant:Tõde või vale.
Loogiline muutuja:sümboolselt määratud loogiline väärtus. Seega, kui see on teada A, b, x, y jaave. - muutujad loogiliste koguste, siis tähendab see, et nad saavad võtta väärtusi ainult tõe või vale.
Loogiline väljend- lihtne või keeruline avaldus. Keeruline avaldus põhineb lihtsatel loogilistel operatsioonidel (sidemed).
Loogikaoperatsioonid.Matemaatilises loogikus määratletakse viis peamist loogilist tegevust: koos, disjunktsioon, keeldumine, mõju, samaväärsus. Esimesed kolm neist moodustavad tegevussüsteem,selle tulemusena saab nende kaudu väljendada muid toiminguid (normaliseeritakse). Neid kolme toimingut kasutatakse tavaliselt arvutiteaduses.
Koos(loogiline korrutamine). Vene keeles väljendatakse I. I. matemaatilise loogika, märke kasutatakse & or. Koos kahekordse tööga; Salvestatud kujul: AGA Sisse.Sellise väljenduse väärtus on vale, kui vähemalt ühe operandi väärtus on vale.
Disjunction (loogiline lisamine). Vene keeles vastab sellele koos liidule Or. Matemaatilises loogikus näitab see V-märki. Disjunktsioon - topeltoperatsioon; Salvestatud kujul: A.v. Sisse.Sellise väljenduse väärtus kehtib, kui vähemalt ühe operandi väärtus on tõene.
Eitamist.Vene keeles vastab see kimp osakese mitte (mõnes avalduses, käive rakendatakse "valesti ..."). Denial - UNARY (ühe) operatsioon; Salvestatud kujul: Või või.
Loogiline valem (loogiline väljendus) - valem, mis sisaldab ainult loogilisi väärtusi ja loogiliste toimingute märke. Loogilise valemi arvutamise tulemus on tõene või vale.
Näide 1. Mõtle keerulise avalduse: "Number 6 on jagatud 2 ja number 6 on jagatud 3". Esindage seda avaldust loogilise valemi kujul. Tähistama AGAlihtne avaldus "Number 6 on jagatud 2" ja läbi Sisselihtne avaldus "Number 6 on jagatud 3". Toon sobiva loogilise valemiga kujul: AGA& Sisse.Ilmselgelt selle väärtus on tõde. Näide 2. Mõtle keerulise avalduse: "Suvel lähen küla või turistide reisi."
Tähistama AGAlihtne ütlus "Suvel ma lähen, ma lähen küla" ja läbi Sisse- Lihtne ütlus "Suvi ma lähen turistile." Siis loogiline vormis keerulise avalduse kujul on vorm
Näide 3. Mõtle öelda: "See ei ole tõsi, et 4 on jagatud 3".
Tähistama AGAlihtne avaldus "4 on jagatud 3". Seejärel on selle avalduse keeldumise loogiline vorm vorm AGA
Loogiliste toimingute läbiviimise eeskirjad kajastuvad järgmises tabelis, mida nimetatakse tõe tabeliks.
Operatsioonide järjestus loogilistes valemites määratakse toimingute vanemuse järgi. Vanemuse kahanemise järjekorras asuvad loogika toimingud järgmiselt: keeldumine, koostoimed, disjunktsioon.Lisaks mõjutab operatsiooni kord sulgusid, mida saab kasutada loogilistes valemites.
Matemaatilise loogika rakendused põhikursusel
Matemaatiline loogika andmebaasides. Informaatika põhiteaduse uurimisel leidub õpilased kõigepealt matemaatilise loogika elementidega "Andmebaasis" teemal (andmebaas). Relatsiooniandmebaasis on loogilised väärtused loogilised tüüpi väljad. Loogilist tüüpi kasutatakse koos teiste valdkondade liikide ja õpilased peavad õppima seda eraldama.
Loogilise väärtuse esimest mõistet saab esitada vastusena alternatiivsele küsimusele. Näiteks: "Kas see raamat raamatukogus?" Või "Kas taotleja sisenes ülikooli" või "tänaval sajab?" jne. Vastused sellistele küsimustele võib olla ainult "jah" või "ei". Sünonüümid on "Tõde", "Lie"; "ÕIGE VALE". Kui tabelivälja saab selliseid väärtusi ainult siis, määratakse see loogiline tüüp.
Näiteks vabatahtliku relatsiooniandmebaas sisaldab teavet kolme valikainete külastamise kohta geoloogia, lillekasvatuse ja tantsimise kohta. Relatsiooni keeles kirjeldatakse selle struktuuri järgmiselt:
Vabatahtlik (Õpilane. Geoloogia, lillekasvatus, tantsimine)
Geoloogia väljad, lilledus ja tantsimine on loogiline tüüp. Tõe väärtus iga välja jaoks näitab, et õpilane külastab seda võimalust ja vale - ei külasta.
Loogilisi väljendeid kasutatakse andmebaasi päringutes otsingutingimustena. Loogilised väljendid on jagatud lihtsaks ja keerukaks. Lihtsates väljendites kasutatakse alati ainult ühte tabeli valdkonnas ja loogikaoperatsioone ei kehti. Komplekssetes loogilistes väljendites kasutatakse loogilisi toiminguid. Lihtne loogiline väljendus esindab kas loogilise tüübi välja nime või suhtumine(Matemaatika nad ütlevad "ebavõrdsuse"). Arvutiliste väärtuste suhted säilitavad matemaatilise ebavõrdsuse tähenduse; Sümboolsete väärtuste suhete arvutamisel võetakse arvesse leksikograafilist järjekorda; Kuupäevad võrreldakse nende kalendrijärjestuse järjekorras.
Peamine probleem on õpetada õpilastele ametliku esitluse otsing tingimused kujul loogiliste väljenduste. Näiteks fraasist "Leia kõik viienda riiulite aluseks olevad raamatud" peavad minema loogilisele väljendusele: rügement\u003e 5; Või seisund "Vali kõik füüsika muljetavaldavad" kujul kujul: füüsika< 3; или «выбрать все дни, когда шел дождь» ОСАДКИ = «дождь».
Erilist tähelepanu tuleks pöörata loogika väljade kasutamisele otsingusõnades. Tavaliselt ei rakendata suhteid neile. Loogiline väli ise on loogiline väärtus: "Tõde" või "Lie". Näiteks on tingimus "valima kõik õpilased, kes käivad tantsud, on loogilise tantsu valdkonna ühes nimel.
Keerulised loogilised väljendid sisaldavad loogilisi toiminguid. Kolm peamist tegevust matemaatilise loogika peetakse: koostoimed (s), disjunction (või), eitamine (mitte).
Tavaliselt, kui seda küsimust selgitatakse, tõrjub õpetaja venekeelsete liitude ja mitte osakese semantilise tähenduse põhjal. Näiteks avaldus: "Täna on algebra ja füüsika kontroll" õiglaselt, kui mõlemad kontrollivad ja valesti, kui vähemalt üks ei toimu. Teine avaldus: "Täna on algebra või füüsika kontroll" Tõsi, kui toimub vähemalt üks testi töö. Ja lõpuks, avaldus: "Täna ei ole see kontroll" Tõsi, kui juhtimine ei toimu, st kui väide, et täna on täielik kontroll, selgub vale. Sellistest näidetest teeb õpetaja järeldused loogiliste toimingute läbiviimise eeskirjade kohta:kui a A ja B -loogilised väärtused, seejärel väljend
A ja B.tõsi ainult siis, kui mõlemad operandid on tõesed;
AGAvõi Sissevale ainult siis, kui mõlemad operandid on valed;
Mitte AGAmuudab loogilise väärtuse väärtust vastupidi: mitte tõsi - vale; Mitte vale - tõde.
1. Loogika väärtused, toimingud, väljendid. Loogilised väljendused kui haruldamis- ja tsükliliste algoritmide tingimused.
Selleks, et mõista hargne ja tsükliliste algoritmide töö, kaaluge loogilise väljenduse mõistet.
Mõnel juhul peaks programmi tegevuste valik sõltuma mõnede muutujate väärtustest.
Näiteks on ruudu võrrandi juurte arvutamine sõltuvalt diskrimineerivast (mäleta matemaatika).
Kahe väljenduse väärtuste võrdlemise tulemusena on võimalikud kaks vastust: võrdlus tõsi või vale?
Näiteks:
2 + 3\u003e 3 + 1 - Jah (tõeliselt)
0 < -5 - нет (ложно)
Selliste väljendeid Me helistame loogilised väljendid.
Loogiline väljendus, nagu matemaatiline ekspressioon, täidetakse (arvutatud), kuid tulemus ei ole number, vaid loogiline väärtus: tõde (tõsi) või vale (vale). Loogiline väärtus- See on alati vastus küsimusele, kehtib selle avalduse kohta.
Me teame kuuest võrdluse toimingut:
Nende toimingute abil koostame loogilised väljendid. Ja väljendeid on ainult konstandid, vaid ka muutujad.
Kuidas toimingud viiakse läbi numbriliste väärtuste puhul on matemaatika. Kuidas sümboolseid väärtusi võrrelda? Suhe "võrdselt" kehtib kahe sümboolse väärtuse puhul, kui nende pikkus on samad ja kõik vastavad tähemärgid langevad kokku. Tuleb meeles pidada, et lõhe on ka sümbol.
Symbimal väärtusi saab võrrelda suhetes\u003e<, >=, <=. Здесь упорядоченность слов (последовательности символов) определяется по алфавитному принципу.
"Kass" \u003d "kass"
"Kass"< «лис»
"Kass"\u003e "Maja"
Üks loogilisest väärtusest või ühest suhtest koosnev väljend nimetatakse lihtsaks loogiliseks väljenduseks.
Sageli on ülesandeid, mis ei kasuta eraldi tingimusi, vaid nende tingimuste kombinatsiooni (suhted). Näiteks kaupluses peate valima kingad, mille suurus on R \u003d 45, värvi värv \u003d Valge, hinnahind mitte rohkem kui 400 rubla.
Teine näide: koolipoiss sai teada, et ta võiks osta šokolaadiüksuse, kui see maksab 3 rubla. või 3 rubla. 50KOP.
Esimeses näites tegeleme kolme suhtega seotud suhetega liiduga "ja" ja "mitte-" osakese, teises osas - kahe suhtega seotud suhtega "või". Sarnased tingimused helistame Ühendja nende määramise algoritmi nimetamise osas nõustume kasutama liitude " ja", "või", "mitte", Mida me kaalume loogiliste operatsioonide tunnustena, mis võimaldavad luua komposiit lihtsatest tingimustest, nagu lihtsatest muutujatest ja konstantidest, kasutades +, - jne jne. Saate luua algebralisi väljendeid.
Nii et algoritmi näidete tingimused võivad välja näidata sellisena:
esiteks: (R \u003d 45) ja (Värv \u003d valge) ja (mitte (Hind\u003e 400))
teiseks: (Hind \u003d 3) või (Hind \u003d 3,5)
Loogiliste toimingute ekspressiooni nimetatakse keerulise loogiliseks ekspressiooniks.
Kahe (või mitme) avalduse ühendamine ühes liidu abiga "ja" nimetatakse operatsiooniks loogiline korrutamine või koos .
Loogilise korrutamise tulemusena saadakse tõde, kui kõik loogilised väljendid on tõesed.
Kombineerides kaks (või rohkem) avaldust liidu võimuga "või" nimetatakse operatsiooni loogiline lisamine või disjunktsioon .
Loogilise lisamise tulemusena saadakse tõde, kui vähemalt üks loogiline väljendus on tõene.
"Ei" osakeste kinnitamist avaldusele nimetatakse operatsiooniks loogiline keeldumine või inversioon .
Tingitus muudab loogilise väärtuse väärtust vastupidisele: mitte Tõde \u003d FALSE; mittelie \u003d tõde.
Kui keerulise loogilise väljenduse korral on mitmeid loogilisi toiminguid, siis tekib küsimus, millisel viisil täidab oma arvutit. Sahaneva vanamuse, loogika operatsioone asuvad selles järjekorras:
eitamine ( mitte);
koostoimes ( ja);
disjunction ( või).
Loogilistes väljendites saate kasutada sulgudes. Nagu matemaatilistes valemites, mõjutavad sulgud toimingute järjestust. Kui sulgudes ei ole, tehakse toimingud nende vanemuse järjekorras.
Näide. Olgu a, b, c olge loogilised väärtused, millel on järgmised väärtused: a \u003d tõde, b \u003d false, c \u003d tõde. On vaja kindlaks määrata järgmiste loogiliste väljenduste arvutamise tulemused:
a. ja B.
a. või B.
mitte A. või B.
a. ja B. või C.
a. või B. ja C.
mitte A. või B. ja C.
(A. või b) ja (alates või b)
mitte (A. või b) ja (alates või b)
mitte (A. ja B. ja c)
Me saame selle tulemusena:
Näide. Looge algoritmi arvutamiseks:
Algoritmi arvutamine X.
Alustama
Sisestage (a, c)
Kui (4 * a - c\u003e \u003d 0) ja (ja<>0) T.
Alustama
x: \u003d root (4 * a - c) / (2 * a)
Kokkuvõte (X)
lõpp
Muidu
Kokkuvõte ("Ei lahendus")
lõpp
Arvuti kontrollib kõigepealt seisundit (4 * a - c\u003e \u003d 0) ja (ja<>0) Ja kui see osutub tõsi, siis arvutage x, vastasel juhul ei ole sõnum "ei lahendus" tagasi.
Näide. Loo algoritmi arvutamiseks kõigi numbrite summa 1 kuni n.
Algoritmi arvutamine numbrite arvu
Muutujad a, c, x - reaalne
Alustama
Sisestage (n)
x: \u003d 1
Nii kaugel
S: \u003d S + X
x: \u003d x +1
lõpp
Kokkuvõte (ed)
lõpp
Kuni tingimuseni x
