A nyilatkozat (ítélet) olyan narratív javaslat, amelyben valamit jóváhagyott vagy megtagadott. Bármely nyilatkozat tekintetében igaz, hogy igaz vagy hamis.
Logikai értékek: A szavak által kifejezett fogalmak: igazság (igaz), hamis (hamis).
Logikai konstans: igazság (igaz), hamis (hamis).
Logikai változó: szimbolikusan jelzett logikai érték. Ezért, ha ismert, hogy A, X, Y, stb. - logikai értékek, akkor azt jelenti, hogy csak az igazság vagy hazugság értékeket vehetnek igénybe.
Logikai kifejezés: egyszerű vagy összetett nyilatkozat. A komplex állítások egyszerűen épülnek logikai hadműveletek (szalagok).
Logikai műveletek
Összekapcsolás (logikai szorzás). Oroszországban, az Unió által kifejezve I.
Matematikai logika, jelek és összekapcsolás - kettős működés, a ^ b (a, b - operandus formájában írt kettős működés). Az ilyen kifejezés értéke FALSE, ha legalább az egyik operandus értéke hamis.
Diszjunkció (logikai kiegészítés). Oroszul, az Unió által kifejezve Or.
A matematikai logikában a diszjunktus jeleit használják - a kettős művelet AV formájában íródott. Az ilyen kifejezés értéke igazság lesz, ha legalább az egyik operandus értéke igaz.
Tagadás. Oroszul, az Unió kifejezi, hogy nem (egyes kijelentésekben a forgalmat alkalmazzák - ez nem igaz ...).
A matematikai logikában a negatív jeleket használják - egyetlen (unary) műveletet rögzítünk, vagy vagy.
Logikai képlet (logikai kifejezés) - egy olyan képlet, amely csak logikai értékeket és logikai műveletek jeleit tartalmazza. A logikai képlet kiszámításának eredménye igaz vagy hamis. A logikai képletekben az igazságot gyakran képviselik, mint 1, olyan, mint 0.
A logikai műveletek elvégzésére vonatkozó szabályok az igazság táblázatban tükröződnek.
Tank igazság
A logikai formulák logikai műveleteinek sorrendjét a műveletek időtartama határozza meg. A legmagasabb működési művelet megtagadása (korábban, mint mások), akkor van egy összefüggés (ek), majd a diszjunkció (vagy).
Logika
A logikai kifejezések kényelmes módja a logikai rendszerek. Ez az, hogy három fő logikai műveletet ábrázolnak ilyen rendszereken.
Ebben a táblázatban a következő jelölést használnak:
1 - igazság, 0 - hazugság, és, vagy, vagy nem logikai műveletek.
1. példa: rajzoljon egy diagramot egy logikai expresszióra 1 vagy 0 és 1, majd kiszámítsa a logikai kifejezés értékét.
Megoldás: séma - Számítás:
2. példa: Dana Logic Scheme. Építsen logikai kifejezést. Ezután kiszámítsa a logikai kifejezés értékét.
Megoldás: Dana Scheme -
Készítsen egy képletet (1 vagy 0) és 1. Számítsa ki az értéket az 1. vagy 0 \u003d 1-es értéknek megfelelően,
ezután 1 és 1 \u003d 1. SO (1 vagy 0) és 1 \u003d 1.
Logikai információk és logikai alapok
A programozáshoz való közvetlen kapcsolat a matematikai logika nevű fegyelemmel rendelkezik. A matematikai logika alapja a logikai algebra, vagy a kijelentések kiszámítása. A nyilatkozat szerint minden olyan állítás, amelyre vonatkozóan egyértelműen mondhatják, valóban vagy hamis. Például a "Hold - Műhold a Föld" - igaz; "5\u003e 3" - valóban; "Moszkva - Kína fővárosa" - hamis; "1 \u003d 0" - FALSE. Az igazság vagy a hazugság logikai értékek. A fenti állítások logikai értékei egyedileg vannak meghatározva; Más szavakkal, értékeik logikai konstansok.
Az egyenlőtlenség logikai jelentése x< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
A XIX. Század közepén létrehozott matematikai logika formális berendezései alapulása. Angol matematika George Bul. Megtiszteltetés szerint a nyilatkozatok számítását logikai algebranak nevezik, és a logikai értékek logikai jellegűek.
Az egyszeri állítások logikai műveletekkel kombinálhatók az összetett logikai képletekbe.
Három fő logikai művelet létezik: tagadás, összefüggés (logikai szorzás) és diszjunkció (logikai kiegészítés).
A tagadási művelet az ¬ matematikai logikában jelenik meg, és részecskékként nem olvasható. Ez egy művelet.
Például ¬ (x \u003d y) olvasható "nem (x egyenlő y)". Ennek eredményeként az igazság az, ha x nem egyenlő, és hazugság, ha x egyenlő. A megtagadás megváltoztatja a logikai érték értékét az ellenkezőjére.
A konjunkciós műveletet a & és olvasott részecske és olvasás jelzi. Ez kettős működés. Például (x\u003e 0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0,1) és hamis - egyébként. Következésképpen az összefüggés eredménye az igazság, ha mindkét operand igaz. Az V. diszjunktus működésének jele részecskeként vagy. Például (x \u003d 0) v (x \u003d 1) olvasási "x egyenlő 0 vagy x-vel egyenlő 1" -vel. A képlet igazságot ad, ha X egy bináris számjegy (0 vagy 1). Következésképpen a diszjunkció az igazságot eredményezi, ha legalább egy operand igaz az igazság.
A Pascal, logikai értékek jelölik a szolgáltatás szavak hamis (false) és igaz (az igazság), és a logikus típus, azonosító logikai.
A típusú logikai értékek (állandók és változók) mellett a hamis, igazi logikai értékek a kapcsolati műveletek eredményei mellett.
Kapcsolatok Műveletek (18. ábra) Összehasonlítani két operandust, és határozza meg, valóban vagy hamis, a köztük lévő megfelelő kapcsolatot.
Példák a felvételi kapcsolatokra: x<у; a+b>\u003d C / d; ABS (M-N)<=l. Примеры вычисления значений отношений:
A logikai műveleteket a Bulev típusú operandusok felett végzik. Négy logikai művelet létezik: nem - megtagadás; És - logikai szorzás (összefüggés); Vagy - logikai kiegészítés (diszjunkció). A Turbo Pascal három kötelező művelete mellett még mindig működik - kizárva vagy. A jele - a szolgáltatási szó hor. Ez egy kettős működés, amely ennek eredményeként az igazság értékét adja meg, ha mindkét operand különböző logikai értéke van.
A műveletek a prioritások sorrendjében szerepelnek. Az operandusok különböző értékeinek logikai műveleteinek eredményeit a táblázat tartalmazza. 3.5.
3.5. Táblázat
A kapcsolati műveletek a legalacsonyabb prioritással rendelkeznek. Ezért, ha a logikai művelet operandusai kapcsolatok, zárójelben kell lezárni őket. Például a matematikai egyenlőtlenség 1 ≤ x ≤ 50 megfelel a következő logikai kifejezésnek:
(1<=X) And (X<=50)
A logikai kifejezés egy logikai képlet, amelyet programozási nyelven írtak. A logikai kifejezés logikai műveletekkel és kerek zárójelekkel kapcsolatos logikai operandusokból áll. A logikai kifejezés kiszámításának eredménye a logikai érték (hamis vagy igaz). A logikai operandusok logikai konstansok, változók, funkciók, kapcsolatok műveletei lehetnek. Egy külön logikai operand a logikai kifejezés legegyszerűbb formája.
Példák logikai kifejezésekre (itt D, B, C - logikai változók, X, Y - valódi változók; K - egész változó):
Ha d \u003d igaz; B \u003d hamis; C \u003d igaz; x \u003d 3.0; y \u003d 0,5; k \u003d 5, a számítás eredményei a következők:
A példa a furcsa (k) logikai funkciót használja. Ez az egész K argumentumtól való függvény, amely igaz, ha K értéke furcsa, és hamis, ha k is.
A logikai hozzárendelési operátor az 1. ábrán látható szerkezettel rendelkezik. tizenkilenc.
Példák a logikus hozzárendelési szolgáltatókra:
2) b: \u003d (x\u003e y) és (k<>0);
3) C: \u003d D vagy B, és nem (páratlan (k) és d).
Programozás elágazás a PASCAL-on
A bekezdés fő témái:
♦ A Pascal fióktelepe;
♦ Programozás teljes és hiányos ág;
♦ Beágyazott fiókok programozása;
♦ Logikai műveletek;
♦ Komplex logikai kifejezések.
A pascal ágazatkezelője
A Pascal nyelven van egy ágkezelő. Egy másik név a feltételes operátor, a teljes fióktelepi nyilatkozat formátuma a következő:
ha<логическое выражение> Azután.<оператор1>
mÁS.<оператор2>
Itt, ha - "ha", akkor - "hogy", máshol - "más".
A teljes és hiányos elágazás programozása
Hasonlítsa össze a Biid1 algoritmus felvételét az előző bekezdésből a megfelelő programmal.
Nagyon hasonlít az orosz nyelvről angol nyelvre. Figyeljen a következő különbségre: nincs külön hivatalos szó az elágazás végét jelölő programban. Itt az ági üzemeltető végének jele vesszőpont. (Természetesen nem szükséges üres karakterláncot hagyni a programban. Itt csak az egyértelműség érdekében történik.)
A logikai kifejezés egyszerű formája a kapcsolat működése. Mint az AYA-ban, mindenféle kapcsolat megengedett Pascalban (a jeleiket az alábbiakban ismertetjük):
< (меньше); >\u003d (több vagy egyenlő);
\u003e (több); \u003d (egyenlő);
<= (меньше или равно); <> (nem egyenlő).
És most programozzuk az ajánlat2 algoritmust a Pascalban, amelyben a hiányos elágazást használják.
Minden nagyon hasonló. A fióktelephelyen a fióktelepe hiányozhat.
Beágyazott fiókok programozása
Írunk egy programot a Pascal három számának nagyobb meghatározására, egy blokkdiagram, amelyet az 1. ábrán bemutatunk. 6.6. Az algoritmus szerkezete beágyazott ágak. Az algoritmus az AA (BIT2) az előző bekezdésben szerepel.
Figyeljen arra, hogy a vesszővel szembeni más pont előtt nem kerül sor. Az algoritmus szerkezetének teljes elágazó része a d: \u003d c.
A két változó értékeinek egyszerűsítésére programot alkotunk.
Ez a példa a következő Pascal szabály: ha több egymást követő piaci szereplők egyes ágak a fióktelep üzemeltető úgy kell rögzíteni, a BEGIN és END szolgáltatás szavak. Ilyen típus tervezése:
kezdődik.<последовательность операторов> Vége.
úgynevezett kompozit operátor. Ezért a fent leírt ág általános formájában<оператор1> és<оператор2> Lehet egyszerű (egy) és kompozit üzemeltetők.
Logikai műveletek
Végül meg fogunk tenni egy másikat, a program harmadik lehetősége nagyobb számú három.
Nem nehéz megérteni a program jelentését. Itt van három egymást követő hiányos fiók. És az elágazási feltételek összetett logikai kifejezések, amelyek logikai műveletet és (és) tartalmaznak. Logikai műveletekkel találkozott, dolgozó adatbázisokkal és táblázatokkal.
Emlékezzünk vissza, hogy a művelet és a logikai szorzás vagy összekapcsolódás. Eredménye "igazság", ha mindkét operandus értékei "igazság". Nyilvánvaló, hogy ha a\u003e és a\u003e s, akkor a legfontosabb és így tovább. Pascal, mindhárom fő logikai művelet létezik:
és - és (együtt),
vagy - vagy (disjuntion),
nem - nem (megtagadás).
Komplex logikai kifejezések
Figyeljen arra, hogy a logikai műveletekhez kapcsolódó kapcsolat zárójelben van. Tehát mindig meg kell tenned! Például meg kell határozni, hogy van-e az A, B számok között, legalább egy negatív. Ez a feladat a következő ágazatkezelő:
hA EGY.<0) or (B<0) or (C<0)
Ezután írjon ("igen") más írni ("nem");
A negatív számra igaz, amely igaz, a következőképpen írható:
Röviden a fő dologról
Az ágazat üzemeltetője (feltételes operátor) Pascal rendelkezik:
ha<логическое выражение>
Azután.<оператор1> MÁS.<оператор2>
A feltételes kezelő ágai, egyszerű vagy kompozit üzemeltetők lehetnek. Az összetett operátor a kezdő és végkiszolgáló szavak között létrejött piaci szereplők sorrendje.
Nehéz logikai kifejezések Logikai műveleteket használnak: és, vagy, vagy nem.
Kérdések és feladatok
1. Hogyan működik a teljes és hiányos elágazási program?
2. Mi az összetett operátor? Milyen esetekben az összetett operátor a fióktelepi nyilatkozatban használatos?
3. Végezze el az e bekezdés összes programját a számítógépen.
4. A legkisebb három szám definíciós programjának legalább három változata alkotja.
5. Tegyen egy rendezési programot a három változó értékének növelésével: A, B, C.
6. Készítsen egy programot a négyzetes egyenlet gyökereinek kiszámításához az együtthatók értékeinek megfelelően.
Nyilatkozat (ítélet) - ez egy narratív ajánlat, amelyben valamit jóváhagyott vagy megtagadott. Bármely nyilatkozat tekintetében igaz vagy hamis. Például:
"Jég - szilárd vízállapot" - igazi kijelentés.
"Triangle, ez egy geometriai alak" - igaz nyilatkozat.
"Párizs - Kína fővárosa" hamis nyilatkozat.
6 < 5 - ложное высказывание.
Logikai mennyiségek:a szavak által kifejtett fogalmak: az igazság, a hamis (igaz, hamis). Következésképpen a nyilatkozatok igazsága logikai értékeken keresztül fejeződik ki.
Logikai állandó:Igazság vagy hamis.
Logikai változó:szimbolikusan kijelölt logikai értéket. Ezért, ha ismert, hogy A, B, X, Y ésave. - változók logikai mennyiségeket, akkor ez azt jelenti, hogy értékeket vehet fel egyetlen igazság, vagy hamis.
Logikai kifejezés- egyszerű vagy összetett nyilatkozat. A komplex kijelentés egyszerűen logikai műveletek (szalagok) alapul.
Logikai műveletek.A matematikai logika, öt fő logikai műveletek meghatározása: összefüggésben, diszjunkció, tagadás, hallgatólagosan egyenértékűségét. Az első három alkotja teljes működési rendszer,ennek eredményeképpen más műveletek is kifejezhetők rájuk (normalizált). Ezeket a három műveletet általában a számítógép-tudományban használják.
Összekapcsolás(logikai szorzás). Oroszul, az I. Unió kifejezi a matematikai logikában, jeleket használnak & vagy. Kapcsolódás - kettős működés; Formában rögzített: DE BAN BEN.Az ilyen kifejezés értéke FALSE lesz, ha az operandus legalább egyikének értéke hamis.
Diszjunkció (logikai kiegészítés). Oroszul, ez a konjunkció megfelel az Uniónak vagy. A matematikai logikában a V jel jelzi. Diszjunkcionálás - kettős működés; Formában rögzített: A.v. BAN BEN.Az ilyen kifejezés értéke igaz, ha az operandus legalább egyikének értéke igaz.
Tagadás.Oroszul, ez a csomag megfelel a részecskéknek, nem (egyes állításokban a forgalom "helytelenül"). Megtagadás - UNARY (egyetlen) működés; Formában rögzített: Vagy vagy.
Logikai képlet (logikai kifejezés) - a képlet, amely csak logikai értékeket és logikai műveletek jeleit tartalmazza. A logikai képlet kiszámításának eredménye igaz vagy hamis.
1. példa. Tekintsünk egy komplex nyilatkozatot: "A 6. szám 2-re oszlik, és a 6. számot 3" -ra osztják. Ezt a nyilatkozatot logikai forma formájában képviseli. Kijelent DEegy egyszerű nyilatkozat "A 6. szám 2" -ra oszlik, és át BAN BENegy egyszerű kijelentés "6. szám osztva 3". A megfelelő logikai képletnek van formája: DE& BAN BEN.Nyilvánvaló, hogy az értéke az igazság. 2. példa. Tekintsünk egy komplex nyilatkozatot: "Nyáron megyek a faluba vagy egy turisztikai útra."
Kijelent DEegyszerű mondás: "A nyáron megyek, megyek a faluba, és át BAN BEN- Egyszerű mondás: "Nyáron megyek egy turisztikai útra." Ezután egy komplex kijelentés logikai formája rendelkezik az űrlapon
3. példa. Fontolja meg: "Ez nem igaz, hogy 4-re osztva 3".
Kijelent DEegy egyszerű kijelentés "4 3" -ra oszlik. Ezután a kijelentés megtagadásának logikus formája rendelkezik az űrlapon DE
A logikai műveletek elvégzésére vonatkozó szabályok tükröződnek az alábbi táblázatban, amelyet az igazság táblázatnak neveznek.
A logikai képletekben működő műveletek sorrendjét a műveletek időtartama határozza meg. A szenioritás csökkenő sorrendjében a logikai műveletek az alábbiak szerint találhatók: megtagadás, összefüggés, diszjunkció.Ezenkívül a működési eljárás befolyásolja a logikai képletekben használható zárójeleket.
A matematikai logika alkalmazása az alapvető kurzusban
Matematikai logika adatbázisokban. Ha tanulmányozza az alaptanfolyam informatika, a diákok először talált elemekkel matematikai logika az „adatbázis” témában (adatbázis). A relációs adatbázisban a logikai értékek logikai típusú mezők. A logikai típust más típusú mezőkkel együtt használják, és a diákoknak meg kell tanulniuk kell.
A logikai érték első koncepciója válaszként adható az alternatív kérdésre. Például: "Ez a könyv a könyvtárban van?" Vagy "belép a kérelmező az egyetembe", vagy "az utcán esik az utcán?" stb. Az ilyen kérdésekre adott válaszok csak "igen" vagy "nem" lehetnek. A szinonimák "igazság", "hazugság"; "IGAZ HAMIS". Ha az asztal mező csak ilyen értékeket kap, akkor logikai típushoz van hozzárendelve.
Például a relációs adatbázis opcionális információkat tartalmaz a diákokat három választani geológiai, virágkertészet és a tánc. A relációs nyelven a szerkezetét a következőképpen írja le:
Választható (Diák. Geológia, virágtermesztés, tánc)
A geológia mezők, a virágzás és a tánc logikus típusú lesz. Az igazság értéke minden egyes területen jelzi, hogy a hallgató meglátogatja ezt a lehetőséget, és a hamis - nem látogat.
A logikai kifejezések az adatbázis-lekérdezések keresési feltételeként használják. A logikai kifejezések egyszerű és összetettek. Egyszerű kifejezésekben csak egy asztali mezőt alkalmaznak, és a logikai műveletek nem vonatkoznak. Komplex logikai kifejezésekben logikai műveleteket használnak. Egy egyszerű logikai kifejezés a logikai típusú mező nevét képviseli, vagy hozzáállás(A matematikában azt mondják, hogy "egyenlőtlenség"). A numerikus értékek kapcsolata megtartja a matematikai egyenlőtlenségek jelentését; A szimbolikus értékek kapcsolatainak kiszámításakor a lexikográfiai megrendelést figyelembe veszik; A dátumokat a naptári szekvencia sorrendjében hasonlítjuk össze.
A fő probléma az, hogy tanítsák a hallgatóknak a keresési feltételek formális bemutatását logikai kifejezések formájában. Például a "Keressen az ötödik polcok alapjául szolgáló könyveket" kifejezést a logikai kifejezésre kell mennie: ezred\u003e 5; Vagy a feltétel, hogy "válassza ki az összes fizikát lenyűgöző", hogy jelen legyen a formában: Fizika< 3; или «выбрать все дни, когда шел дождь» ОСАДКИ = «дождь».
Különös figyelmet kell fordítani a logó mezők használatára a keresési kifejezésekben. Általában a kapcsolatokat nem alkalmazzák rájuk. Maga a logikai mező logikai érték: "igazság" vagy "hazugság". Például az állapot "Válassza ki az összes tanuló résztvevő diák, aki a tánc egyik nevében jelen lesz a tánc egyik nevében.
A komplex logikai kifejezések logikai műveleteket tartalmaznak. A matematikai logika három fő működését figyelembe veszik: összekapcsolás (ok), diszjunkció (vagy), megtagadás (nem).
Általában, ha megmagyarázza ezt a kérdést, a tanár taszítja a szemantikai jelentését kimutatások orosz tartalmazó szövetségek és, vagy, nem egy részecske. Például egy nyilatkozat: "Ma az Algebra és a fizika ellenőrzése meglehetősen, ha mindkét irányítás és hamis, ha legalább egy nem történik meg. Egy másik nyilatkozat: "Ma lesz az ellenőrzés az algebra vagy a fizika", akkor igaz lesz, ha legalább egy tesztmunkát fog végezni. És végül, a nyilatkozatot: „Ma nem lesz a kontroll” Igaz, ha a vezérlő nem kerül sor, azaz, ha az állítás, hogy ma lesz az ellenőrzés, kiderül hamis. Az ilyen példákból a tanár következtetéseket vet fel a logikai műveletek elvégzésére vonatkozó szabályokról:ha egy A és B -logikai értékek, majd kifejezés
A és B.csak akkor igaz, ha mindkét operand igaz;
DEvagy BAN BENhamis, ha mindkét operandus hamis;
Nem DEmegváltoztatja a logikai érték értékét az ellenkezőjére: nem igaz - hamis; Nem hamis - igazság.
1. Logikai értékek, műveletek, kifejezések. Logikai kifejezések az elágazás és a ciklikus algoritmusok feltételei.
Az elágazás és a ciklikus algoritmusok munkájának megértése érdekében vegye figyelembe a logikai kifejezés fogalmát.
Bizonyos esetekben a programban szereplő intézkedések kiválasztása attól függ, hogy az egyes változók értékei hogyan kapcsolódnak.
Például a négyzetes egyenlet gyökereinek kiszámítása eltérően a diszkriminálótól függően (emlékezz a matematika).
A két kifejezés értékeinek összehasonlítása eredményeként két válasz lehetséges: összehasonlítás igaz vagy hamis?
Például:
2 + 3\u003e 3 + 1 - Igen (valóban)
0 < -5 - нет (ложно)
Az ilyen kifejezés kifejezések fogunk hívni logikai kifejezések.
A logikai kifejezés, mint egy matematikai kifejezés, végrehajtásra kerül (kiszámított), de az eredmény nem szám, hanem logikus érték: igazság (igaz) vagy hamis (hamis). Logikai érték- Mindig a kérdésre adott válasz, igaz ez a kijelentés.
Hat összehasonlító műveletet tudunk:
Ezen műveletek segítségével logikai kifejezéseket fogunk összeállítani. És a kifejezésekben csak állandók, hanem változók is vannak.
A mûveletek a numerikus értékek esetében a matematikából világosak. Hogyan hasonlítható össze a szimbolikus értékek? Az "egyaránt" arány igaz két szimbolikus értékre, ha hossza ugyanaz, és az összes megfelelő karakter egybeesik. Emlékeztetni kell arra, hogy a szakadék szintén szimbólum.
A Symbimális értékek összehasonlíthatók a kapcsolatokban\u003e<, >=, <=. Здесь упорядоченность слов (последовательности символов) определяется по алфавитному принципу.
"Macska" \u003d "macska"
"macska"< «лис»
"Macska"\u003e "ház"
Egy logikai értékből vagy egy kapcsolatból álló kifejezés egyszerű logikai kifejezésnek nevezhető.
Gyakran olyan feladatok vannak, amelyek nem külön feltételeket használnak, de a kapcsolódó feltételek (kapcsolatok) kombinációja. Például a boltban olyan cipőt kell választania, amelynek mérete r \u003d 45, színszínű \u003d Fehér, árár legfeljebb 400 rubel.
Egy másik példa: Egy iskolás rájött, hogy megvásárolhat egy csokoládéegységet, ha 3 rubel. vagy 3 rubel. 50kop.
Az első példában az Unióhoz kapcsolódó három kapcsolattal foglalkozunk, "és a" nem "részecske, a második - az Unióhoz kapcsolódó két kapcsolattal" vagy ". Hasonló feltételek hívják Összetett, és az algoritmus kijelöléséért egyetértünk az Alliances használatával " és", "vagy", "nem”Melyik figyelembe vesszük a jelek logikai műveletek, amelyek lehetővé teszik, hogy hozzon létre összetett egyszerű körülmények között, mint ahogy az egyszerű változók és konstansok használata +, - stb, és így tovább. Hozhatunk létre algebrai kifejezéseket.
Így az algoritmusban szereplő példák feltételei így tűnhetnek:
első: (R \u003d 45) és (Szín \u003d fehér) és (nem (Ár\u003e 400)))
második: (Ár \u003d 3) vagy (Ár \u003d 3.5)
A logikai műveleteket tartalmazó kifejezés komplex logikai kifejezésnek nevezik.
Két (vagy több) kijelentés egyesítése az Unió segítségével "és" logikai szorzás vagy összekapcsolás .
A logikai szorzás (összefüggés) eredményeként az igazságot akkor kapják meg, ha minden logikai kifejezés igaz.
Két (vagy több) kijelentés kombinálása az Unió erejével "vagy" Működés " logikai kiegészítés vagy megszüntetés .
Logikai kiegészítés (diszjunkció) eredményeként az igazság akkor érhető el, ha legalább egy logikai kifejezés igaz.
A "nem" részecske csatlakoztatása a kijelentéshez logikai megtagadás vagy inverzió .
A tagadás megváltoztatja a logikai érték értékét az ellenkezőjére: nem Igazság \u003d FALSE; nemhazugság \u003d igazság.
Ha komplex logikai kifejezésben számos logikai művelet létezik, akkor felmerül a kérdés, amelyben a számítógépüket elvégzi. A rendszerűség, a logikai műveletek ebben a sorrendben találhatók:
tagadás ( nem);
összekapcsolás ( és);
diszjunkció ( vagy).
Logikai kifejezésekben zárójeleket használhat. Mint a matematikai képletekben, a zárójelek befolyásolják a műveletek sorrendjét. Ha nincs zárójel, akkor a műveleteket a szenioritásuk sorrendjében végzik.
Példa. Legyen A, B, C Logikai értékek, amelyek a következő értékekkel rendelkeznek: a \u003d igazság, b \u003d hamis, c \u003d igazság. Meg kell határozni a következő logikai kifejezések kiszámításának eredményeit:
a. és B.
a. vagy B.
nem A. vagy B.
a. és B. vagy C.
a. vagy B. és C.
nem A. vagy B. és C.
(A. vagy b) és (tól től vagy b)
nem (A. vagy b) és (tól től vagy b)
nem (A. és B. és c)
Ennek eredményeként kapunk:
Példa. Hozzon létre egy algoritmust a kiszámításhoz:
Algoritmus Számítás X.
Rajt
Adja meg (a, c)
Ha (4 * A - C\u003e \u003d 0) és (és és<>0) T.
Rajt
X: \u003d gyökér (4 * A - C) / (2 * a)
Következtetés (x)
vége
Másképp
Következtetés ("Nincs megoldás")
vége
A számítógép először ellenőrzi az állapotot (4 * A - C\u003e \u003d 0) és (és<>0), és ha kiderül, hogy igaz legyen, akkor számítani X, egyébként az üzenet „nem megoldás” visszavonja.
Példa. Hozzon létre egy algoritmust, hogy kiszámítsa az összes számot 1-től n-ig.
A számok összegének algoritmusa
Változók A, C, X - Real
Rajt
Adja meg (n)
X: \u003d 1
Eddig
S: \u003d s x
X: \u003d x +1
vége
Következtetés (ek)
vége
Az X állapotig
