Vyhlásenie (rozsudok) je naratívny návrh, v ktorom je niečo schválené alebo odmietnuté. Pokiaľ ide o akékoľvek vyhlásenie, je pravda, že je to pravda alebo nepravdivé.
Logické hodnoty: Koncepty vyjadrené slovami: Pravda (TRUE), FALSE (FALSE).
Logická konštanta: Pravda (TRUE), FALSE (FALSE).
Logická premenná: symbolicky označená logická hodnota. Preto, ak je známe, že a, v, x, y, atď. - Logické hodnoty, potom to znamená, že môžu mať hodnoty len pravdy alebo lži.
Logické vyjadrenie: Jednoduché alebo komplexné vyhlásenie. Komplexné vyhlásenia sú postavené z jednoduchých logické operácie (väzy).
Logické operácie
(Logické násobenie). V ruštine vyjadrených Úniou I.
V matematickej logike sa používajú značky a spojenie - dvojitá operácia, napísaná vo forme A ^ B (A, B - operands). Hodnota takéhoto výrazu bude falošná, ak je aspoň hodnota jedného z operandov nepravdivá.
Disjunkcia (logické pridanie). V ruštine, vyjadrený Úniou Or.
V matematickej logike sa používajú známky disjunkcie - dvojitá operácia je napísaná vo forme AV. Hodnota takéhoto výrazu bude pravda, ak je aspoň hodnota jedného z operandov pravdivá.
Negácia. V ruštine je Únia vyjadrený (v niektorých vyhláseniach sa použije obrat - nie je pravda, že ...).
V matematickej logike sa používajú negačné značky - jediná (jednoznačná) prevádzka sa zaznamená ako A alebo OR.
Logický vzorec (logický výraz) - vzorca obsahujúci iba logické hodnoty a príznaky logických operácií. Výsledok výpočtu logického vzoru je pravdivý alebo nepravdivý. V logických vzorcoch je pravda často reprezentovaná ako 1, leží ako 0.
Pravidlá pre vykonávanie logických operácií sa odrážajú v tabuľke pravdy.
Nádrž
Sekvencia logických operácií v logických vzorcoch je určená podľa seniority operácií. Najvyššia prevádzková operácia je popieranie (vykoná sa skôr ako iné), potom existuje spojenie (y) a potom disjunkcia (alebo).
Logický
Vhodným spôsobom reprezentovať logické výrazy sú logické schémy. Takto sú uvedené tri hlavné logické operácie na takýchto schémach.
V tejto tabuľke sa používa nasledujúci notácia:
1 - pravda, 0 - lož, a alebo nie - logické operácie.
Príklad 1: Nakreslite diagram pre logickú expresiu 1 alebo 0 a 1. Potom vypočítajte hodnotu logického výrazu.
Riešenie: Schéma - Výpočet:
Príklad 2: DANA Logická schéma. Vybudovať logický výraz. Potom vypočítajte hodnotu logického výrazu.
Riešenie: DANA Schéma -
Vytvorte vzorca - (1 alebo 0) a 1. Vypočítajte hodnotu podľa schémy 1 alebo 0 \u003d 1,
potom 1 a 1 \u003d 1. Tak (1 alebo 0) a 1 \u003d 1.
Logické informácie a logické základy
Priamy vzťah k programovaniu má disciplínu s názvom Matematická logika. Základom matematickej logiky je logická algebra alebo výpočet vyhlásení. Na základe vyhlásenia znamená akékoľvek vyhlásenie, na ktoré možno jednoznačne povedať, je to skutočne alebo nepravdivé. Napríklad, "mesiac - satelit Zeme" - TRUE; "5\u003e 3" - skutočne; "Moskva - hlavné mesto Číny" - falošne; "1 \u003d 0" - FALSE. Pravdu alebo lži sú logické hodnoty. Logické hodnoty vyššie uvedených vyhlásení sú jednoznačne definované; Inými slovami, ich hodnoty sú logické konštanty.
Logický význam nerovnosti x< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Základy formálneho prístroja matematickej logiky vytvorenej uprostred XIX storočia. Anglická matematika George Bult. Vo svojej cti, výpočet vyhlásení sa nazýva boolean algebra a logické hodnoty sú boolean.
Jednotlivé vyhlásenia môžu byť kombinované do zložených logických vzorcov pomocou logických operácií.
Existujú tri hlavné logické operácie: popieranie, spojenie (logické multiplikácie) a disjunkcia (logické pridávanie).
Operácia negácie je uvedená v matematickej logike ¬ a čítať ako častica nie. Toto je jedna operácia.
Napríklad ¬ (x \u003d y) sa číta "nie (x rovné y)". V dôsledku toho je pravda, ak X nie je rovná a lži, ak je x rovná. Odmietnutie mení hodnotu logickej hodnoty na opak.
Súčasná prevádzka je indikovaná ako častica a. Toto je dvojitá operácia. Napríklad (x\u003e 0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0,1) a nepravdivé - inak. V dôsledku toho je výsledkom spojenia pravdu, ak sú obe operandy pravdivé. Znamenie prevádzky disjunkcie V sa číta ako častica alebo. Napríklad (x \u003d 0) v (x \u003d 1) čítajú "x rovné 0 alebo x rovné 1". Vzorec dáva pravdu, ak X je binárna číslica (0 alebo 1). V dôsledku toho disjunkcia vedie k pravde, ak je aspoň jedna operand pravda.
V Pascal sú logické hodnoty určené slovami služby FALSE (FALSE) a TRUE (pravda) a identifikátor logického typu je boolean.
Okrem hodnôt (konštanty a premenné) typu boolean, logické hodnoty falošných, true brať výsledky vzťahových operácií.
Operácie vzťahov (obr. 18) Porovnajte dve operandy a určiť, skutočne alebo falošne, zodpovedajúci vzťah medzi nimi.
Príklady nahrávacích vzťahov: X<у; a+b>\u003d C / d; Abs (m-n)<=l. Примеры вычисления значений отношений:
Logické operácie sa vykonávajú nad operanmi typu BUV. Existujú štyri logické operácie: nie - odmietnutie; A - logické množenie (konjunkcia); Alebo - logické pridávanie (disjunkcia). Okrem týchto troch povinných operácií v Turbo Pascal, stále existuje operácia - s výnimkou Or. Jej podpis - servisné slovo hor. Toto je dvojitá operácia, ktorá v dôsledku toho dáva hodnotu pravdy, ak obe operandy majú rôzne logické hodnoty.
Operácie sú uvedené v zostupnom poradí podľa priorít. Výsledky logických operácií pre rôzne hodnoty operandov sú uvedené v tabuľke. 3.5.
Tabuľka 3.5
Vzťahové operácie majú najnižšiu prioritu. Preto, ak sú operandy logickej prevádzky vzťahy, mali by sa uzavrieť v zátvorkách. Napríklad matematická nerovnosť 1 ≤ x ≤ 50 zodpovedá nasledujúcemu logickému výrazu:
(1<=X) And (X<=50)
Logický výraz je logický vzorec napísaný v programovacom jazyku. Logický výraz sa skladá z logických operandov spojených s logickými operáciami a okrúhlymi konzolami. Výsledkom výpočtu logického výrazu je booleanová hodnota (nepravdivá alebo pravda). Logické operandy môžu byť logické konštanty, premenné, funkcie, vzťahy. Jedna samostatná logická operanda je najjednoduchšou formou logického výrazu.
Príklady logických výrazov (tu D, B, C - Logické premenné; X, Y - Skutočné premenné; K - Celá premenná):
Ak d \u003d true; B \u003d false; C \u003d true; x \u003d 3,0; y \u003d 0,5; K \u003d 5, výsledky výpočtu budú nasledovné:
Príklad použil nepárne (k) logickú funkciu. Toto je funkcia z celého argumentu K, ktorá berie pravdivé, ak je hodnota k nepárne a nepravdivé, ak je k.
Logický operátor priradenia má štruktúru znázornenú na obr. devätnásť.
Príklady logických operátorov prideľovania:
2) B: \u003d (x\u003e y) a (k<>0);
3) C: \u003d D alebo B a nie (nepárne (k) a d).
Programovanie rozvetvenia na Pascal
Hlavné témy odseku:
♦ prevádzkovateľ pobočky na Pascalu;
♦ Programovanie plnej a neúplnej vetvy;
♦ programovanie vnorených pobočiek;
♦ Logické operácie;
♦ Komplexné logické výrazy.
Prevádzkovateľ pobočky na Pascal
V jazyku Pascal je prevádzkovateľ pobočky. Ďalším menom je podmienený operátor, formát úplnej vetvy je nasledovné:
ak<логическое выражение> Potom.<оператор1>
inak.<оператор2>
Tu, ak - "ak", potom - "to", inak - "iné".
Programovanie plné a neúplné rozvetvenie
Porovnajte nahrávanie algoritmu BID1 z predchádzajúceho odseku príslušným programom.
Veľmi podobné prekladu z ruského jazyka do angličtiny. Venujte pozornosť nasledujúcemu rozdielu: Neexistuje žiadne osobitné oficiálne slovo v programe, ktorý označuje koniec rozvetvenia. Tu je znak konca prevádzkovateľa pobočky čiarkou. (Samozrejme, nie je potrebné ponechať prázdny reťazec v programe vôbec. Tu sa vykonáva len pre jasnosť.)
Jednoduchá forma logického výrazu je prevádzka vzťahov. Rovnako ako v Aye, všetky druhy vzťahov sú povolené v Pascal (ich značky sú uvedené nižšie):
< (меньше); >\u003d (viac alebo rovné);
\u003e (viac); \u003d (rovné);
<= (меньше или равно); <> (nerovná sa).
A teraz budeme naprogramovať algoritmus BID2 v Pascal, v ktorom sa používa neúplné rozvetvenie.
Všetko je veľmi podobné. Pobočka iného v vyhlásení pobočky môže byť neprítomná.
Programovanie vnorených pobočiek
Píšeme program na určenie väčšieho z troch čísel v Pascal, blokovom diagrame, ktorý je znázornený na obr. 6.6. Štruktúra tohto algoritmu je vnorené pobočky. Algoritmus na AA (Bit2) je uvedený v predchádzajúcom odseku.
Venujte pozornosť tomu, že pred iným bodom s čiarkou nie je. Celá rozvetvovacia časť štruktúry algoritmu končí v mieste s čiarkou po operácii D: \u003d c.
Tvoríme program na zefektívnenie hodnôt dvoch premenných.
Tento príklad ilustruje nasledujúce pravidlo Pascal: Ak existuje niekoľko po sebe idúcich operátorov na niektorých pobočkách prevádzkovateľa pobočky, musia byť zaznamenané medzi začiatkom a koncovým slovami služby. Návrh tohto typu:
začať.<последовательность операторов> Koniec.
nazývaný kompozitný operátor. Preto vo všeobecnej forme vetvy opísanej vyššie<оператор1> a<оператор2> Môže byť jednoduchý (jeden) a kompozitnými operátormi.
Logické operácie
Nakoniec urobíme ďalšiu, tretiu možnosť programu na určenie väčšieho počtu troch.
Nie je ťažké pochopiť význam tohto programu. Tu sú tri po sebe idúce neúplné pobočky. A stavy rozvetvenia sú zložité logické výrazy, ktoré zahŕňajú logickú operáciu a (a). S logickými operáciami ste sa stretli, pracujú s databázami as tabuľkami.
Pripomeňme, že operácia a nazýva sa logické množenie alebo spojenie. Jeho výsledkom je "pravda", ak sú hodnoty oboch operandov "pravda". Samozrejme, ak A\u003e IN a A\u003e S, potom je najdôležitejšie a tak ďalej. V Pascal sú všetky tri hlavné logické operácie:
a - a (konjunkcia), \\ t
alebo - alebo (disjunkcia),
nie - nie (odmietnutie).
Komplexné logické výrazy
Venujte pozornosť tomu, že vzťah spojený s logickými operáciami je v zátvorkách. Takže musíte urobiť vždy! Napríklad je potrebné určiť, či existuje medzi číslami A, B, s aspoň jedným negatívnym. Táto úloha je nasledujúci prevádzkovateľ pobočky:
aK.<0) or (B<0) or (C<0)
Potom napíšte ("áno") inak ("nie");
Výraz, ktorý je pravdivý pre záporné číslo, môže byť tiež napísané takto:
Stručne o hlavnej veci
Prevádzkovateľ pobočky (podmienečný operátor) Pascal má formulár:
ak<логическое выражение>
Potom.<оператор1> Inak.<оператор2>
Na pobočkách podmieneného operátora môžu byť jednoduché alebo kompozitné operátori. Kompozitný prevádzkovateľ je postupnosť operátorov uzavretých medzi štartovacími a koncovými slovami služby.
V ťažko logické výrazy Používajú sa logické operácie: a alebo nie.
Otázky a úlohy
1. Ako je plný a neúplný program rozvetvenia?
2. Čo je to kompozitný operátor? V akých prípadoch je kompozitný operátor používaný vo vyhlásení o pobočke?
3. Vykonajte všetky programy v tomto odseku na počítači.
4. Urobte aspoň tri varianty definície programu najmenšieho z troch čísel.
5. Urobte program triedenia zvýšením hodnôt v troch premenných: A, B, C.
6. Urobte program na výpočet koreňov štvorcovej rovnice podľa hodnôt jeho koeficientov.
Vyhlásenie (rozsudok) - toto je naratívna ponuka, v ktorej je niečo schválené alebo odmietnuté. Pokiaľ ide o akékoľvek vyhlásenie, môže byť uvedené pravdivé alebo nepravdivé. Napríklad:
"Ice - Solid stav vody" - skutočné vyhlásenie.
"Trojuholník, toto je geometrická hodnota" - skutočné vyhlásenie.
"Paríž - hlavné mesto Číny" je falošné vyhlásenie.
6 < 5 - ложное высказывание.
Logické množstvá:koncepty vyjadrené slovami: pravda, false (true, false). V dôsledku toho je pravda o vyhlásení vyjadrená logickými hodnotami.
Logická konštanta:Pravdy alebo nepravdivé.
Logická premenná:symbolicky určená logická hodnota. Preto, ak je známe, že A, B, X, Y aaVE. - Premenné logických množstiev, potom to znamená, že môžu mať hodnoty len pravdy alebo nepravdivé.
Logický výraz- Jednoduché alebo komplexné vyhlásenie. Komplexné vyhlásenie je založené na jednoduchom používaní logických operácií (ligamentov).
Logické operácie.V matematickej logike je definovaných päť hlavných logických operácií: konjunkcia, disjunkcia, popieranie, dôsledky, rovnocennosť. Prvé tri z nich tvoria Úplný systém operácií,v dôsledku toho môžu byť prostredníctvom nich vyjadrené iné operácie (normalizované). Tieto tri operácie sa zvyčajne používajú v oblasti informatiky.
Spojenie(logické násobenie). V ruštine je to vyjadrená Únia I. V matematickej logike sa používajú príznaky & alebo. Spojovanie - dvojitá operácia; Vo formulári: ALE V.Hodnota takéhoto výrazu bude nepravdivé, ak je hodnota aspoň jednej z operandov nepravdivá.
Disjunkcia (logické pridávanie). V ruštine táto spojka zodpovedá Únii Or. V matematickej logike je indikovaná znakom v. Disjunkcia - dvojitá operácia; Vo formulári: A.v. V.Hodnota takéhoto výrazu bude pravdivá, ak je hodnota aspoň jedného z operandov pravdivá.
Negácia.V ruštine, tento balík zodpovedá častici, ktorý nie je (v niektorých vyhláseniach, obrat sa aplikuje "nesprávne ..."). Odmietnutie - UnY (jednoduchá) operácia; Vo formulári: Alebo alebo.
Logický vzorec (logický výraz) - vzorec obsahujúci iba logické hodnoty a príznaky logických operácií. Výsledok výpočtu logického vzoru je pravdivý alebo nepravdivý.
Príklad 1. Zvážte komplexné vyhlásenie: "Číslo 6 je rozdelené na 2 a číslo 6 je rozdelené do 3". Predstavujú toto vyhlásenie vo forme logického vzoru. Zaznamenaný ALEjednoduché vyhlásenie "číslo 6 je rozdelené na 2" a cez Vjednoduché vyhlásenie "číslo 6 je rozdelené do 3". Toon príslušný logický vzorec má formulár: ALE& V.Je zrejmé, že jeho hodnota je pravda. Príklad 2. Zvážte komplexné vyhlásenie: "V lete pôjdem do obce alebo turistickú cestu."
Zaznamenaný ALEjednoduché príslovie "V lete pôjdem, pôjdem obec" a cez V- Jednoduché príslovie "leto pôjdem na turistickú cestu." Potom má formulár logickej formy komplexného vyhlásenia
Príklad 3. Zvážte, že: "Nie je pravda, že 4 je rozdelený na 3".
Zaznamenaný ALEjednoduché vyhlásenie "4 je rozdelené do 3". Potom má logická forma odmietnutia tohto vyhlásenia formulár ALE
Pravidlá vykonávania logických operácií sa odrážajú v nasledujúcej tabuľke, ktorá sa nazýva tabuľka pravdy.
Postupnosť operácií v logických vzorcoch je určená senioritou operácií. V poradí zostupu zo seniority sa logické operácie nachádzajú nasledovne: odmietnutie, spojenie, disjunkcia.Okrem toho postup pre prevádzku ovplyvňuje konzoly, ktoré môžu byť použité v logických vzorcoch.
Aplikácie matematickej logiky v základnom kurze
Matematická logika v databázach. Pri štúdiu základného priebehu informatiky sú študenti najprv nájdete s prvkami matematickej logiky v téme "Database" (databáza). V relačnej databáze sú logické hodnoty logické typové polia. Logický typ sa používa spolu s inými typmi polí a študenti sa musia naučiť prideliť ho.
Prvá koncepcia logickej hodnoty môže byť uvedená ako odpoveď na alternatívnu otázku. Napríklad: "Má táto kniha v knižnici?" Alebo "Žalobca vstúpil na univerzitu", alebo "prší na ulici?" atď. Odpovede na takéto otázky môžu byť iba "áno" alebo "nie". Synonymá sú "pravda", "lož"; "PRAVDA LOŽ". Ak pole tabuľky dostane len takéto hodnoty, potom je priradený logický typ.
Napríklad relačná databáza voliteľného obsahuje informácie o návšteve študentov troch volieb na geológiu, rastúcemu a tancovi kvetu. V relačnom jazyku je jej štruktúra opísaná takto: \\ t
Nepovinný (Študent. Geológia, rast kvetu, tanec)
Geologické polia, kvitnúce a tancovanie budú mať logický typ. Hodnota pravdy pre každé pole označuje, že študent navštívi túto možnosť a nepravdivé - nenavštevuje.
Logické výrazy sa používajú v databázových otázkach ako vyhľadávania. Logické výrazy sú rozdelené do jednoduchého a komplexu. V jednoduchých výrazoch sa vždy používa len jedno pole tabuľky a logické operácie sa neuplatňujú. V zložitých logických výrazoch sa používajú logické operácie. Jednoduchý logický výraz predstavuje buď názov logického typu poľa, alebo postoj(V matematike, hovoria "nerovnosť"). Vzťahy pre numerické hodnoty si zachovávajú význam matematických nerovností; Pri výpočte vzťahov pre symbolické hodnoty sa berie do úvahy lexikografický poriadok; Dátumy sa porovnávajú v poradí ich kalendárnej sekvencie.
Hlavným problémom je učiť študentov formálnu prezentáciu vyhľadávacích podmienok vo forme logických výrazov. Napríklad z frázy "Nájdite všetky knihy podkladové piaty police" je potrebné ísť do logického výrazu: pluk\u003e 5; Alebo podmienka "Vyberte si všetku fyziku pôsobivú", ktorá sa má predstaviť vo formulári: fyzika< 3; или «выбрать все дни, когда шел дождь» ОСАДКИ = «дождь».
Osobitná pozornosť by sa mala venovať používaniu logických polí v hľadaní. Zvyčajne sa vzťahy nepoužívajú. Samotné logické pole je logická hodnota: "Pravda" alebo "lož". Napríklad stav "Vyberte si všetkých študentov, ktorí navštevujú tance, bude prítomné v jednom mene logickej oblasti tanca.
Komplexné logické výrazy obsahujú logické operácie. Uvažujú sa tri hlavné operácie matematickej logiky: spojenie (y), disjunkcia (alebo), popieranie (nie).
Zvyčajne, keď vysvetľuje tento problém, učiteľ sa odpudzuje zo sémantického významu vyhlásení v ruštine obsahujúce aliancie a, alebo nie častice. Napríklad vyhlásenie: "Dnes bude kontrola algebry a fyziky" spravodlivo, ak obaja kontrola aj falošne, ak sa aspoň jedna neuskutočňuje. Ďalšie vyhlásenie: "Dnes bude kontrola algebry alebo fyziky" bude pravda, ak sa uskutoční aspoň jedna skúšobná práca. A nakoniec, vyhlásenie: "Dnes to nebude kontrola" TRUE, ak sa kontrola neuskutoční, t. Z takýchto príkladov učiteľ robí závery o pravidlách vykonávania logických operácií:ak A A B -logické hodnoty, potom výraz
A A B.pravda, len ak sú obe operandy pravdivé;
ALEalebo Vfalošné len vtedy, ak sú obe operandy nepravdivé;
Nie ALEmení hodnotu logickej hodnoty na opak: nie je pravda - nepravdivá; Nie je falošná pravda.
1. Logické hodnoty, operácie, výrazy. Logické výrazy ako podmienky v odbočkách a cyklických algoritmoch.
S cieľom pochopiť prácu rozvetvujúcich a cyklických algoritmov, zvážte koncepciu logického výrazu.
V niektorých prípadoch by výber akcií v programe mal závisieť od toho, ako sa hodnoty niektorých premenných týkajú.
Napríklad výpočet koreňov štvorcovej rovnice sa uskutočňuje odlišne v závislosti od diskriminantov (pamätať matematiku).
V dôsledku porovnávania hodnôt dvoch výrazov sú možné dve odpovede: porovnanie pravda alebo falošný?
Napríklad:
2 + 3\u003e 3 + 1 - ÁNO (Skutočne)
0 < -5 - нет (ложно)
Výrazy tohto druhu logické výrazy.
Logický výraz, ako matematický výraz, sa vykonáva (vypočítané), ale výsledok nie je číslo, ale logická hodnota: pravda (TRUE) alebo FALSE (FALSE). Logická hodnota- Je to vždy odpoveď na túto otázku, je pravda na toto vyhlásenie.
Vieme šesť porovnávacích operácií:
S pomocou týchto operácií budeme kompilovať logické výrazy. A vo výrazoch sú len konštanty, ale aj premenné.
Ako sa operácie vykonávajú pre numerické hodnoty, sú jasné z matematiky. Ako sú symbolické hodnoty porovnať? Pomer "Rovnako" je pravdivý pre dve symbolické hodnoty, ak sú ich dĺžky rovnaké a všetky zodpovedajúce znaky sa zhodujú. Treba mať na pamäti, že medzera je tiež symbolom.
Symbolické hodnoty možno porovnať vo vzťahoch\u003e<, >=, <=. Здесь упорядоченность слов (последовательности символов) определяется по алфавитному принципу.
"CAT" \u003d "CAT"
"Cat"< «лис»
"CAT"\u003e "HOUSE"
Výraz pozostávajúci z jednej logickej hodnoty alebo jedného vzťahu sa nazýva jednoduchý logický výraz.
Často existujú úlohy, ktoré používajú samostatné podmienky, ale kombinácia súvisiacich podmienok (vzťahy). Napríklad v obchode potrebujete vybrať topánky, ktorých veľkosť je r \u003d 45, farba farby \u003d Biela, Cenová cena Nie viac ako 400 rubľov.
Ďalší príklad: Školák zistil, že by mohol kúpiť čokoládovú jednotku, ak stojí 3 rubľov. alebo 3 rubľov. 50kop.
V prvom príklade sa zaoberáme tromi vzťahmi spojenými s Úniou "a" a "ne-" časticou, v druhom - s dvoma vzťahmi spojenými s Úniou "alebo". Podobné podmienky Poďme volať zmesa na ich označenie v algoritme sa dohodnete na používaní aliancií " a", "alebo", "nie", Ktoré budeme zvážiť ako príznaky logických operácií, ktoré umožňujú vytvoriť kompozitný z jednoduchých podmienok, rovnako ako z jednoduchých premenných a konštánt pomocou +, - atď. Môžete vytvoriť algebraické výrazy.
Takže podmienky našich príkladov v algoritme môžu vyzerať takto:
najprv: (R \u003d 45) a (Farba \u003d biela) a (nie (Cena\u003e 400))
druhý: (Cena \u003d 3) alebo (Cena \u003d 3.5)
Expresia obsahujúca logické operácie sa nazýva komplexný logický výraz.
Kombinácia dvoch (alebo niekoľkých) vyhlásení v jednom s pomocou Únie "a" sa nazýva prevádzka logické množenie alebo spojenie .
V dôsledku logického multiplikácie (spojenie) sa pravda získava, ak sú pravdivé logické výrazy pravdivé.
Kombinácia dvoch (alebo viacerých) vyhlásení s výkonom Únie "alebo" nazývaná prevádzka logický prírastok alebo disjunkcia .
V dôsledku logického pridávania (disjunkcie) sa pravda získava, ak je pravdivá aspoň jedna logická výraz.
Pripojenie častíc "Not" k vyhláseniu sa nazýva prevádzka logický popier alebo inverzia .
Odmietnutie mení hodnotu logickej hodnoty na opak: nie pravda \u003d false; nielie \u003d pravda.
Ak existuje niekoľko logických operácií v komplexnom logickom vyjadrení, potom nastane otázka, akým spôsobom vykoná svoj počítač. Zostupné seniority, Logické operácie sa nachádzajú v tomto poradí:
odmietavý postoj ( nie);
konjunkcia ( a);
disjunkcia ( alebo).
V logických výrazoch môžete použiť zátvorky. Rovnako ako v matematických vzorcoch, konzoly ovplyvňujú postupnosť operácií. Ak nie sú žiadne zátvorky, operácie sa vykonávajú v poradí podľa ich seniority.
Príklad. Nech A, B, C je logické hodnoty, ktoré majú nasledujúce hodnoty: a \u003d pravda, b \u003d false, c \u003d pravda. Je potrebné určiť výsledky výpočtu nasledujúcich logických výrazov:
a. a B.
a. alebo B.
nie A. alebo B.
a. a B. alebo C.
a. alebo B. a C.
nie A. alebo B. a C.
(A. alebo b) a (z alebo b)
nie (A. alebo b) a (z alebo b)
nie (A. a B. a c)
Dostaneme sa ako výsledok:
Príklad. Vytvorenie algoritmu na výpočet:
Výpočet algoritmu X.
Spustiť
Zadajte (A, C)
Ak (4 * A - C\u003e \u003d 0) a (a<>0) T.
Spustiť
x: \u003d root (4 * A - C) / (2 * A)
Záver (X)
koniec
Inak
Záver ("žiadne riešenie")
koniec
Počítač najprv skontroluje stav (4 * A - C\u003e \u003d 0) a (a<>0) A ak sa ukáže, že je pravda, potom vypočítajte x, inak sa správa "žiadne riešenie" stiahne.
Príklad. Vytvorte algoritmus na výpočet súčtu všetkých čísel od 1 do n.
Výpočet algoritmu množstva čísel
Premenné A, C, X - Real
Spustiť
Zadajte (n)
X: \u003d 1
Tak ďaleko
S: \u003d S + X
X: \u003d x +1
koniec
Závery (y)
koniec
Až do podmienky X
