Óra összefoglalója "A logika alapjai. A számítógép logikai alapjai"

Modern trendek az új szerkezeti anyagok fejlesztésében.

A bányaüzemek rögzítésének javítása terén további előrelépés lehetséges új, nagy hatékonyságú rögzítőanyagok kifejlesztésével és alkalmazásával. A földalatti körülmények közötti támogatási működés jellemzői:

· megnövekedett páratartalom és a környezet agresszivitása;

· váltakozó feszültségek az elemekben;

· a kőzetnyomás dinamikus megnyilvánulásai és a szeizmikus-robbanásveszélyes terhelések, valamint a robbantott kőzetek hatása egyrészt korlátozza az új anyagok alkalmazási körét a földalatti építésben;

· másrészt a hőmérséklet állandósága a bányában és a bányában, valamint az esetek túlnyomó többségében a viszonylag korlátozott üzemidő (felszíni szerkezeteknél 60-100 év helyett 5-15 év) kiterjeszti a hatókört. alkalmazásukról.

Következésképpen az új anyagok tartószerkezetekben való felhasználásának lehetőségének kérdéskörének bővítéséhez szükséges ezek fizikai és kémiai tulajdonságainak laboratóriumi körülmények közötti vizsgálata, figyelembe véve a föld alatti munkavégzés sajátosságait. Ugyanakkor ezek a tulajdonságok szükségessé teszik a tartószerkezetekhez új anyagok keresését.

1. Mi a logika algebrája?

A logikai algebra megalkotója a 19. században élt angol matematikus, George Boole, akiről a logikai algebrát is ún. Boole algebra .

Így például a „6 - páros szám” logikus állításnak kell tekinteni, mivel igaz.

A logikai algebra minden állítást csak abból a szempontból vesz figyelembe, hogy igaz vagy hamis.

A hétköznapi beszédben használt szavak és kifejezések „nem”, „és”, „vagy”, „ha..., akkor”, „akkor és csak akkor”és néhány másik lehetővé teszi új logikai utasítások összeállítását a már megadott utasításokból. Az ilyen szavakat és kifejezéseket hívják logikai összeköttetések .

Más utasításokból logikai konnektívumokkal képzett utasításokat hívjuk összetett . Olyan állítások, amelyek nem összetettek, pl. szalagok nélkül, ún alapvető.



Az összetett állítások igazsága vagy hamissága az elemi állítások igazságától vagy hamisságától függ.

To formálisan logikai utasításokra hivatkoznak, változóneveket kapnak. Engedd át A kijelölt alapvető mondván „ Timur nyáron a tengerhez megy”, és azon keresztül IN - nyilatkozat " Timur nyáron a hegyekbe megy" Majd összetett mondván „ Timur nyáron a tengert és a hegyeket is ellátogatja” formálisan így írható A és B . itt" És ” - logikai összekötő, A, B - logikai változók , amely csak két értéket vehet fel - " igaz "vagy" hazugság " A számítógépben az „igaz” és „hamis” értékeket egyszerűen „1”-nek és „0-nak” jelölik.

Minden logikai összekötő a Boole-algebrában mint logikai működés logikai utasítások felett, és saját neve és megnevezése van:

1. Művelet" szóval kifejezve Nem ”, nevezzük a logika algebrájában tagadás és általában a jel jelzi ù vagy egy sor egy állítás felett. Egy állítás igaz, ha A hamis, és hamis, ha A igaz. Például " Hold – a Föld műholdja"(A); " A Hold nem a Föld műholdja” ().

2. Művelet, amelyet a kopula fejez ki És ”, hívták kötőszó vagy logikai szorzás és a „szóval jelöljük és ”, vagy egy pont " ", vagy az Ù és & jelek (és jel).

Szabályművelet végrehajtása: A B állítás igaz o akkor és csak akkor, ha mind az A, mind a B állítás igazak, különben az hamis. Például az állítás

„A 10 osztható 2-vel, az 5 pedig nagyobb, mint 3” igaz és állítások

„a 10 osztható 2-vel, és az 5 nem több, mint 3”, hamis.

3. Működés, amelyet a kapcsoló " vagy ” hívják diszjunkció vagy logikus kiegészítés és a logikai képletekben a „szóval jelöljük VAGY ”, vagy aláírja U , Ú vagy plusz "+".

Szabálya művelet elvégzése: Nyilatkozat A UIN akkor és csak akkor hamis, ha mind az A, mind a B állítás hamis, különben az lesz igaz.

Például az állítás

"10 nem osztható egyenletesen 2-vel, vagy 5 nem nagyobb 3-nál" - hamis,

és mindhárom állítás: „10 osztható 2-vel vagy 5-tel nagyobb, mint 3”, „10 osztható 2-vel vagy 5-tel, nem nagyobb 3-nál” vagy „A 10 nem osztható 2-vel, vagy az 5 nagyobb, mint 3”- igaz lesz.

4. Művelet, a következő formájú konnektívumokkal kifejezve ha... akkor...”, “ebből következik..."vagy" ...vonz...”, hívták implikáció és a képletekben à jellel jelöljük.

Művelet végrehajtási szabály: A à B állítás hamis O akkor és csak akkor, ha A igazés B - hamis.

Hogyan köt össze egy implikáció két elemi állítást? Mutassuk meg ezt az állítások példáján: " ez a négyszög négyzet” (A ) És " adott négyszög köré kör rajzolható” (IN ). Vegyünk egy összetett állítást A à IN , értve: " Ha egy adott négyszög négyzet, akkor körberajzolható”.

Három lehetőség van, amikor az A AB utasítás lesz igaz:

1. A - igazés B- igaz, azaz ez a négyszög négyzet, és kör írható le körülötte;

2. A- hamisés B- igaz, vagyis ez a négyszög nem négyzet, hanem kör írható le körülötte (persze ez nem minden négyszögre igaz);

3. A - hamisés B- hamis, vagyis ez a négyszög nem négyzet, és kör nem rajzolható köré.

Csak egy lehetőség hamis: A- igazÉs IN - hamis, vagyis ez a négyszög négyzet, de körülötte nem lehet kört leírni.

A hétköznapi beszédben az összekötő " ha... akkor” az állítások közötti ok-okozati összefüggést írja le. De a logikai műveletekben az állítások jelentését nem veszik figyelembe, hanem csak azok igazságát vagy hamisságát.

5. Összekötőkkel kifejezett működés akkor és csak akkor”, "szükséges és elégséges”, “... egyenértékű...”, hívják egyenértékű vagy kettős implikáció és a tábla jelzi ~ (tilde) ill º ( identitás ).

Szabály: Nyilatkozat A ~ IN akkor és csak akkor igaz, ha az értékek A És IN mérkőzés.

A logikai műveletek sorrendje logikai kifejezésekben ez adott a műveletek prioritása és zárójelek.

IN zárójel nélküli kifejezések először a műveletet hajtják végre tagadás (“ Nem "), akkor kötőszó (“ És "), akkor - diszjunkció (“vagy "és végül - először implikációés akkor egyenértékűség.

2. Mi a logikai képlet?

A logikai változók és a logikai műveletek szimbólumai segítségével bármilyen állítás formalizálható, azaz lecserélhető logikai képlet.

Példaként tekintsük a „ ha almát vagy sárgabarackot veszek, készíthetek gyümölcstortát" Ezt az állítást képletként formalizáljuk ( A Ú B ) à C . Ahogy a képlet elemzése mutatja

(A Ú B) à C, a változóértékek bizonyos kombinációihoz A, B És C értelmet kap" igaz ”, és néhány más kombináció esetén a „ hazugság " Az ilyen képleteket ún megvalósítható .

Néhány képlet a " igaz ” a bennük szereplő változók bármely igazságértékére. Például ez lenne a képlet A Ú , amely megfelel a „ Ez a háromszög derékszögű vagy ferde" Ez a képlet igaz akkor is, ha a háromszög derékszögű, és amikor a háromszög nem derékszögű. Az ilyen képleteket ún ugyanúgy igaz képletek ill tautológiák .

A tautológiákkal formalizált állításokat logikailag igaz állításoknak nevezzük.

Egy másik példaként tekintsük a képletet A , amely megfelel például a „ Katya a legmagasabb lány az osztályban, és vannak Kátyánál magasabb lányok az osztályban" Nyilvánvaló, hogy ez a képlet mindig hamis , hiszen akár A , vagy szükségszerűen hamis. Az ilyen képleteket ún egyformán hamis képletek ill ellentmondások . Az ellentmondásokkal formalizált állításokat nevezzük logikailag hamis állítások.

Ha két képlet A És B ha a bennük szereplő változók azonos értékhalmazai ugyanazokat az értékeket veszik fel, akkor ezeket ún. egyenértékű .

Két képlet egyenértékűségét a logikai algebrában a " szimbólum jelöli = ” vagy az „ О ” szimbólumot. A képlet lecserélése egy másikra egyenértékű, hívott ekvivalens transzformáció ebből a képletből.

3.Mi a kapcsolat a logikai algebra és a bináris kódolás között?

A logikai algebra matematikai berendezése alkalmas az adatok feldolgozására egy számítógépen, ahol használják kettes számrendszer, amely az 1 és 0 számokat használja, és logikai változó értékek kettő is: „1” és „0”.

Ezért ugyanazok a számítógépes eszközök használhatók mind a kettes számrendszerben bemutatott numerikus információk, mind a logikai változók értékeinek feldolgozására és tárolására.

Adatok és parancsok a számítógépben különböző struktúrájú és hosszúságú 0 és 1 bináris sorozatokként vannak ábrázolva (szemben a 0 és 1 logikai értékekkel).

A számítógépes elektronikában bináris információ kódolásakor egység kódolt magasabb feszültségszint nullánál (vagy fordítva).

4. Mi az a számítógépes logikai elem?

A számítógépek logikai elemei az olyan elektronikus áramkörök, mint az ÉS, VAGY, NEM, NAND, NOR és mások (más néven szelepek), valamint egy indítóeszköz.

Ezekkel a logikai áramkörökkel bármilyen logikai függvény megvalósítható, amely leírja a számítógépes eszközök működését. A szelepeknek általában két-nyolc bemenetük és egy vagy két kimenetük van.

A két „1” és „0” logikai állapot ábrázolásához a kapukban a megfelelő bemeneti és kimeneti elektromos jelek két beállított feszültségszinttel rendelkeznek. Például +5 volt és 0 volt. A magas szint általában az „igaz” („1”), az alacsony szint pedig a „hamis” („0”) értéknek felel meg.

Minden logikai elemnek megvan a saját szimbóluma az áramkörben, amely meghatározza a logikai funkcióját, de nem jelzi, hogy milyen elektronikus áramkör van benne megvalósítva. Ez megkönnyíti az összetett logikai áramkörök írását és megértését.

A logikai elemek működését a segítségével írjuk le igazságtáblázatok.

a francia nyelv elmélyült tanulmányozásával"

A számítógép logikai alapjai

Számítástechnika tankönyv

10. osztály számára

Tartalom

§1. A logika alapjai…………………………………..…….…………3

2. § Logikai műveletek………………………………..…..….…..5

3. § Logikai képletek. Logikai képlet igazságtáblázata………………………………………………..…………….….8

4. § A logika algebrai alaptörvényei. Logikai képletek egyszerűsítése………………………………………………………………

5. § Logikai feladatok megoldása……………………………………….13

6. § Logikai függvény………………………………………..18

7. § A számítógépek logikai alapjai. Alapvető logikai elemek……………………………………………………………….21

8. § A számítógép logikai elemei. Kioldó és összeadó................................................ ...................................................... ...25

Kérdések az önkontrollhoz………………………………………..29

1. § A logika alapjai.

A bináris információ feldolgozása során a számítógép aritmetikai és logikai műveleteket hajt végre. Ezért a számítógép felépítésének megértéséhez meg kell ismerkedni a számítógép felépítésének alapjául szolgáló alapvető logikai elemekkel. Kezdjük ezt a bevezetést a logika alapvető kezdeti fogalmaival.

Maga a „logika” kifejezés az ókori görög logoszból származik, ami „szót, gondolatot, fogalmat, érvelést, törvényt” jelent.

Logikák– a törvények és a gondolkodási formák tudománya.

Az első tanítások az érvelés formáiról és módszereiről az ókori kelet országaiban (Kína, India) születtek, de a modern logika az ókori görög gondolkodók tanításain alapul. Elsőként Arisztotelész választotta el a beszéd logikai formáit annak tartalmától, feltárta a logika terminológiáját, részletesen megvizsgálta a következtetések és bizonyítékok elméletét, számos logikai műveletet leírt, és megfogalmazta a gondolkodás alapvető törvényeit.

A logika alapfogalmai közé tartoznak a következők.

Logikus kijelentés bármely kijelentő mondat, amelyre vonatkozóan egyértelműen meg lehet mondani, hogy igaz vagy hamis.

Tehát például a következő mondat: " 6 - páros szám"állításnak kell tekinteni, mert igaz. Mondat" Róma Franciaország fővárosa" is állítás, mert hamis.

Nyilatkozat- Ez egy olyan javaslat, amelyet bizonyítani vagy cáfolni kell.

Például bármely tétel olyan állítás, amely bizonyítást igényel.

Érvelés- állítások vagy állítások sorozata, amelyek bizonyos módon kapcsolódnak egymáshoz.

Például egy tétel bizonyításának folyamatát nevezhetjük érvelésnek.

Következtetés- ez egy olyan gondolkodási forma, amelyen keresztül egy vagy több ítéletből új ítélet születik. A következtetések lehetnek deduktívak, induktívak vagy analógia alapján.

A deduktív érvelésben az érvelés az általánostól a konkrét felé halad. Például két állításból: „Minden fém elektromosan vezetőképes” és „A higany fém”, arra a következtetésre juthatunk, hogy „a higany elektromosan vezető”.

Az induktív érvelésben az érvelés a konkréttól az általános felé halad. Például, miután megállapítottuk, hogy az egyes fémek - vas, réz, cink, alumínium stb. - rendelkeznek elektromos vezetőképességgel, arra a következtetésre jutottunk, hogy minden fém elektromosan vezetőképes.

Következtetés analógiávalátadja az egyik tárgyról szóló tudást a másiknak. Például a Nap és a Föld kémiai összetétele sok tekintetben hasonló. Ezért amikor a Földön ismeretlen hélium kémiai elemet felfedezték a Napon, analógia útján arra a következtetésre jutottak, hogy létezik ilyen elem a Földön.

Természetesen nem minden mondat logikus kijelentés. Az állítások nem például mondatok " tizedik osztályos tanuló"És" az informatika érdekes tárgy". Az első mondat nem mond semmit a diákról, a második pedig túl homályos fogalmat használ" érdekes téma A kérdő és felkiáltó mondatok sem állítások, mivel nincs értelme igazukról vagy hamisságukról beszélni.

Olyan mondatok, mint " a városbanA több mint egymillió lakos", "kék szeme van" nem állítások, hiszen igazságuk vagy hamisságuk megállapításához további információra van szükség: melyik városról vagy személyről van szó. Az ilyen mondatokat ún. logikai kifejezések.

Logikai kifejezés egy kijelentő mondat, amely közvetlenül vagy közvetve tartalmaz legalább egy változót, és akkor válik állítássá, ha az összes változót az értékükre cseréljük.

Az állítások igazságát vagy hamisságát vizsgáló tudásterületet ún matematikai logika.

Ahogyan a matematikának egy ágát, az algebrát a változókon végzett műveletek leírására fejlesztették ki, úgy az állítások algebráját vagy a logikai algebrát a matematikai logika logikai kifejezéseinek feldolgozására hozták létre.

Logikai algebra A matematikai logika egyik ága, amely a logikai jelentésük (igazság vagy hamisság) és a rájuk vonatkozó logikai műveletek szempontjából vizsgált állításokat vizsgálja.

A logika algebra a tizenkilencedik század közepén jelent meg az angol matematikus munkáiban. George Boole. Létrehozása kísérlet volt a hagyományos logikai problémák algebrai módszerekkel történő megoldására.

A logikai algebra minden állítást csak egy nézőpontból vesz figyelembe – legyen az igaz vagy hamis. Jegyezze meg Gyakran nehéz megállapítani egy állítás igazságát. Tehát például a " felülete indiai Az óceán területe 75 millió négyzetméter. km" egyik helyzetben hamisnak, másikban igaznak tekinthető. Hamis - mert a megadott érték pontatlan és egyáltalán nem állandó. Igaz - ha a gyakorlatban elfogadható közelítésnek tekintjük.

§ 2. Logikai műveletek.

A hétköznapi beszédben használt szavak és kifejezések „nem”, „és”, „vagy”, „ha..., akkor”, „akkor és csak akkor” mások pedig lehetővé teszik, hogy a már megadott állításokból új állításokat hozzon létre. Az ilyen szavakat és kifejezéseket hívják logikai összeköttetések.

Más utasításokból logikai konnektívumokkal képzett utasításokat hívjuk összetett. A nem összetett állításokat ún alapvető.

Tehát például az elemi állításokból " Petrov - orvos", "Petrov - sakkozó"kopula segítségével" És"összetett nyilatkozatot kaphat" Petrov - orvos és sakkozó"úgy értve" Petrov orvos, aki jól sakkozik".

A link segítségével " vagy"ugyanazokból az állításokból összetett állítást kaphatunk" Petrov - orvos vagy sakkozó", ami a logika algebrájában értendő: " Petrov vagy orvos, vagy sakkozó, vagy orvos és sakkozó egyszerre".

Az így kapott összetett állítások igazsága vagy hamissága az elemi állítások igazságától vagy hamisságától függ.

A logikai állításokra hivatkozva neveket kapnak. Engedd át A az állítást jelzik "Timur nyáron a tengerhez megy"és azon keresztül IN- nyilatkozat – Timur nyáron a hegyekbe megy. Aztán az összetett állítás "Timur nyáron a tengert és a hegyeket is ellátogatja" röviden így írható le A és B. Itt "És"- logikai összeköttetés, A, B- logikai változók, amelyek csak két értéket vehetnek fel - „igaz” vagy „hamis”, „1” és „0” jelöléssel.

Az "és" kötőszóval kifejezett műveletet nevezzük kötőszó(lat. conjunctio - kapcsolat) ill logikai szorzásés egy ponttal jelöljük " . " (jelölhető  vagy & jellel is).

Nyilatkozat A . IN akkor és csak akkor igaz, ha mindkét állítás AÉs IN igazak.

Például az állítás "10 osztható 2-vel és 5 nagyobb, mint 3" igaz és állítások "10 nem osztható 2-vel és 5 nem több 3-mal", "10 nem osztható 2-vel és 5 nem több, mint 3", "10 nem osztható 2-vel és 5 nem több 3-nál"- hamisak.

Az összekötő "vagy" (a szó nem kizárólagos értelmében) által kifejezett műveletet ún diszjunkció(lat. disjunctio - felosztás) ill logikus kiegészítésés v (vagy plusz) jellel jelöljük.

Nyilatkozat A v B akkor és csak akkor hamis mindkét állítás AÉs IN hamis.

Például az állítás "10 nem osztható 2-vel, vagy 5 nem nagyobb 3-nál" hamis és állítások "10 osztható 2-vel vagy 5-tel nagyobb, mint 3", "10 osztható 2-vel vagy 5-tel, nem nagyobb, mint 3", "10 nem osztható 2-vel vagy 5-tel nagyobb, mint 3"- igaz.

A „nem” szóval kifejezett műveletet nevezzük logikustagadás vagy inverzióés az állítás feletti vonal jelzi (vagy egy  jel).

Nyilatkozat A igaz mikor A hamis, és hamis mikor A igaz.

Például " Hold – a Föld műholdja"(A) - igaz;" A Hold nem a Föld műholdja" ( A) – hamis.

Az „ha..., akkor”, „a... következik”, „... magában foglalja...” konnektivívákkal kifejezett műveletet ún. implikáció(latin implico - szorosan összefüggő), és a  jel jelzi.

Nyilatkozat A IN hamis akkor és csak akkor A igaz, de IN hamis.

Hogyan köt össze implikáció két elemi állítást?

Mutassuk meg ezt egy példával az állításokra: "ez a négyszög egy négyzet" (A) És "Egy adott négyszög köré kör írható"(IN). Vegyünk egy összetett állítást A IN, úgy értve "Ha egy adott négyszög négyzet, akkor kört lehet körberajzolni."

Eszik három lehetőség, amikor az állítás A IN igaz:

    A igaz és IN igaz, vagyis ez a négyszög négyzet, és körbeírható kör;

    A hamis és IN igaz, vagyis ez a négyszög nem négyzet, hanem kör írható le körülötte (persze ez nem minden négyszögre igaz);

    A hamis és B false, vagyis ez a négyszög nem négyzet, és kör nem rajzolható köré.

Csak egy lehetőség hamis, ha A igaz és B hamis, vagyis ez a négyszög négyzet, de körülötte nem lehet kört leírni.

A hétköznapi beszédben a kötő "ha... akkor" az állítások közötti ok-okozati összefüggést írja le. De a logikai műveletekben az állítások jelentését nem veszik figyelembe. Csak azok igazságát vagy hamisságát veszik figyelembe. Ezért nem szabad zavarba hozni a tartalmilag teljesen független kijelentések implikációinak „értelmetlenségét”. Például így: "ha az Egyesült Államok elnöke demokrata, akkor Afrikában vannak zsiráfok", "ha a görögdinnye bogyó, akkor van benzin a benzinkútban."

A „ha és csak akkor”, „szükséges és elégséges”, „...egyenértékű...” konnektivívákkal kifejezett műveletet ún. egyenértékű vagy kettős implikációés  vagy ~ jelöli.

Nyilatkozat A IN akkor és csak akkor igaz, ha az értékek AÉs IN mérkőzés.

Például nyilatkozatok "A 24 akkor és csak akkor osztható 6-tal, ha a 24 osztható 3-mal", "23 akkor és csak akkor osztható 6-tal, ha a 23 osztható 3-mal." igazak és állítások "A 24 akkor és csak akkor osztható 6-tal, ha a 24 osztható 5-tel", "21 akkor és csak akkor osztható 6-tal, ha a 21 osztható 3-mal." hamis.

Nyilatkozatok AÉs IN,összetett állítást alkotva A IN, tartalmilag teljesen független lehet, például: "három több mint kettő" (A), "pingvinek élnek az Antarktiszon" (IN). Ezen állítások tagadásai az állítások "három nem több kettőnél"( A), "A pingvinek nem élnek az Antarktiszon"( B). Kijelentésekből alakult ki AÉs INösszetett állítások ABÉs A B igazak és állítások A BÉs A B- hamisak.

3. § Logikai képletek. Logikai igazság táblázat

képletek.

A logikai változók és a logikai műveletek szimbólumai segítségével bármilyen állítás lehet formalizálni vagyis cserélje ki egy logikai képlettel.

Meghatározás logikai képlet:

    Minden logikai változó és az „igaz” („1”) és „hamis” („0”) szimbólumok képletek.

    Ha A és B képletek, akkor  A, A. B, A v B, A  B, A  B képletek.

3. A logika algebrájában nincs más képlet.

Az 1. szakasz meghatározza elemi képletek; a (2) bekezdésben megadott szabályok az új képletek bármely adott képletből történő képzésére.

Példaként tekintsük az állítást "Ha veszek almát vagy sárgabarackot, készítek gyümölcstortát." Ez az állítás így van formalizálva (A v B) C. Ugyanez a képlet felel meg az állításnak – Ha Igor tud angolul vagy japánul, akkor fordítói állást kap.

Ahogy a képlet elemzése mutatja (A v B) C, a változóértékek bizonyos kombinációihoz A, BÉs C az "igaz" értéket veszi fel, néhány más kombinációnál pedig a "false" értéket. Az ilyen képleteket ún megvalósítható.

Néhány képlet elfogadja az "igaz" értéket a bennük szereplő változók bármely igazságértékére. Például a képlet A v A, az állításnak megfelelő – Helyes ez a háromszög vagy nem? akkor is igaz, ha a háromszög derékszögű, és akkor is, ha a háromszög nem jó. Az ilyen képleteket ún azonosan igaz képletek vagy tautológiák. A tautológiákkal formalizált állításokat nevezzük logikailag igaz állítások.

Egy másik példaként tekintsük a képletet A . A, ami megfelel például az állításnak "Katya a legmagasabb lány az osztályban, és vannak Kátyánál magasabb lányok az osztályban." Nyilvánvaló, hogy ez a képlet hamis, hiszen bármelyik A, vagy A szükségszerűen hamis. Az ilyen képleteket ún azonosan hamis képletek vagy ellentmondások. Az ellentmondásokkal formalizált állításokat nevezzük logikailag hamis állítások.

Ha két A és B képlet egyidejűleg, vagyis a bennük lévő változók azonos értékkészletével ugyanazokat az értékeket veszi fel, akkor ezeket az ún. egyenértékű.

Két logikai algebrai képlet egyenértékűségét a "="" szimbólum jelzi. Egy képlet lecserélése egy vele egyenértékűre ún. ekvivalens transzformáció ebből a képletből.

Öt logikai műveletet vettünk figyelembe : tagadás, kötőszó, diszjunkció, implikáció és ekvivalencia.

Következmény keresztül lehet kifejezni diszjunkcióÉs tagadás:

A  B =  Аv В.

Egyenértékűség keresztül lehet kifejezni tagadás , diszjunkció És kötőszó :

A  B = ( A v B) . ( Bv A).

Így, műveletekettagadás, diszjunkció és konjunkció elegendő a logikai állítások leírásához és feldolgozásához.

A logikai műveletek sorrendjét zárójelek határozzák meg. De a zárójelek számának csökkentése érdekében megállapodtunk abban, hogy először a tagadási műveletet („nem”) hajtjuk végre, majd a kötőszót („és”), a kötőszó után a diszjunkciót („vagy”), végül az implikációt.

Logikai képlet igazságtáblázata– egy táblázat, amely kifejezi a változóértékek és a képletértékek összes lehetséges halmaza közötti megfelelést.

Egy két változót tartalmazó képletnél csak négy ilyen változóérték-készlet létezik: (0, 0), (0, 1), (1, 0), (1, 1).

Ha a képlet három változót tartalmaz, akkor nyolc ilyen halmaz létezik: (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0) , 0) , (1, 0, 1), (1, 1, 0), (1, 1, 1).

A négy változós képlet halmazainak száma tizenhat stb. Vagyis ha N akkor a változók száma 2 N– változó értékkészletek száma.

Elemi logikai képletek igazságtáblázata

Konjunkció

Diszjunkció

Inverzió

Következmény

Egyenértékűség

X

at

x y

X

at

X  at

X

X

X

at

X  y

X

at

X  y

0

0

0

0

0

0

0

1

0

0

1

0

0

1

0

1

0

0

1

1

1

0

0

1

1

0

1

0

1

0

0

1

0

1

1

0

0

1

0

0

1

1

1

1

1

1

1

1

1

1

1

1

A több logikai műveletet tartalmazó képlet értékeinek megtalálásakor kényelmes rögzítési forma egy táblázat, amelyben a változók értékein és a képlet értékein kívül az értékek

köztes képletek.

Példák.

1. Készítsünk igazságtáblázatot a képlethez x y (X y) X, amely két x és y változót tartalmaz. A táblázat első két oszlopában felírjuk ezeknek a változóknak négy lehetséges értékpárját, a következő oszlopokban - a közbenső képletek értékeit és az utolsó oszlopban - a képlet értékét.

Változók

Képlet

X

at

X

x y

X  at

(X  y)

x y   (x  y)

x y   (x  y)  x

A táblázatból egyértelműen kiderül az x és y változók összes értékkészletére a képlet 1 értéket vesz fel, azaz van azonos az igaz .

2. Igazságtáblázat a képlethez: (x  y) · (x · y)

Változók

Köztes logikai képletek

Képlet

X

at

X  at

(X  y)

at

X ·  at

(X  y) · (x · y)

A táblázatból egyértelműen kiderül az x és y változók összes értékkészletére a képlet 0 értéket vesz fel, azaz van egyformán hamis .

3. A képlet igazságtáblázata: (X y) X ·z

Változók

Köztes logikai képletek

Képlet

x

y

z

at

X   y

(X   y)

X

X · z

(X   y)   x z

A táblázat azt mutatja, hogy a képlet bizonyos esetekben 1-et vesz fel, másokban - 0-t, vagyis megvalósítható.

4. § A logika algebrai alaptörvényei. Egyszerűsítés

logikai képletek.

A logikai képletek ekvivalens transzformációinak célja ugyanaz, mint a közönséges algebrai képletek transzformációinak. A képletek egyszerűsítésére vagy egy bizonyos formára való redukálására szolgálnak a logikai algebra alaptörvényeinek felhasználásával.

Alatt a képlet egyszerűsítése, amely nem tartalmazza az implikáció és az ekvivalencia műveleteit, olyan ekvivalens transzformációt értünk, amely olyan formulához vezet, amely vagy az eredetihez képest kevesebb konjunkciós és diszjunkciós műveletet tartalmaz, és nem tartalmaz nem elemi formulák tagadását, vagy kisebb számú változó előfordulását tartalmazza.

A logika algebrájában a következő alaptörvények teljesülnek, lehetővé téve az előállítást logikai kifejezések azonosságtranszformációi.

Törvény

Teljesítmény

az algebrai logikában

Kommutatív (kommutatív)

a b = b a, a b = b a

Konjunktív (asszociatív)

a  (b  c) = (a  b)  c,

a  (b  c) = (a  b)  c

Elosztó (elosztó)

a  (b  c) = (a  b)  (a  c) ,

a  (b  c) = (a  b)  (a  c)

De Morgan szabályai

(a  b) =  a  b ,

(a  b) =  a  b

A kettős tagadás törvénye (involúció)

  a = a

Műveletek változóval és annak inverziójával

a a = 0, a  a =1

Műveletek konstansokkal

a 1 = 1, a 1 = a,

a 0 = a, a 0 = 0

Az idempotencia törvényei

a  a = a , a  a = a

Az abszorpció törvényei

x (x y) = x, x (x y) = x

A ragasztás törvényei

(x y) ( x y) = y,

(x y) ( x y) = y

A logikai képletek egyes átalakításai hasonlóak a közönséges algebra képleteihez(a közös tényezőt zárójelből kivéve, kommutatív és asszociatív törvények alkalmazása stb.), míg más transzformációk olyan tulajdonságokon alapulnak, amelyekkel a közönséges algebra műveletei nem rendelkeznek(a disztributív törvény használata kötőszóra, abszorpciós törvények, ragasztás, de Morgan stb.).

Nézzünk néhány példát a logikai képletek egyszerűsítésére használt technikák és módszerek.

1. példa

(X y) (x) y) = X · y (x) y) = x · x · y · y = 0 · y · y = 0 · y =0
(A logikai algebra törvényeit a következő sorrendben alkalmazzuk: de Morgan szabálya, kombinációs törvénye, egy változó műveleti szabálya inverziójával és a konstansokkal végzett műveletek szabálya).

2. példa

x y  (X y) X = x y X · at x = x (y y) x = X x =1
(A De Morgan-szabályt alkalmazzuk, a közös tényezőt zárójelből kivesszük, a változó műveletek szabályát annak megfordításával alkalmazzuk).

3. példa

(X y) · ( X y) · ( X y) = (x y) · ( X y) · ( X y) · ( X y) =y · X
(A második tényező megismétlődik, amit az idempotencia törvénye megenged; majd az első két és az utolsó két tényezőt kombináljuk, és a ragasztás törvényét alkalmazzuk).

4. példa

(x y z ) = (x · y) · z = (x · y) · z
(Először is biztosítjuk, hogy a tagadójel csak az egyes változók előtt jelenjen meg, és ne azok kombinációja előtt, ehhez De Morgan szabályát alkalmazzuk; ezután a kettős tagadás törvényét alkalmazzuk);

5. példa

x y x · y ·z x · r ·z= x · (y  y · z  z · р) = x · (y · (1  z )  z · р) =

= x (y z · p)

(A közös tényezőket zárójelből kivesszük; a konstansokkal végzett műveletek szabályát alkalmazzuk);

Példa 6.

x y x y z x y z x (y z)= x ( y y z y z (y z)) =

= x · (( y  y · z ) (y · z (y · z )) = x · ( y  y · z 1) = x · 1 =x
(A közös x tényezőt kivesszük a zárójelekből, a zárójelben lévő kifejezéseket összevonjuk - az elsőt a harmadikkal, a másodikat a negyedikkel, a diszjunkcióra a változó inverziós műveletének szabálya érvényes);

Ezekből a példákból jól látható, hogy a logikai képletek egyszerűsítésekor nem mindig nyilvánvaló, hogy a logikai algebra melyik törvényét kell alkalmazni egy adott lépésben. A készségek tapasztalattal jönnek.

5. § Logikai feladatok megoldása.

A logikai problémák sokfélesége igen nagy. Megoldásukra is számos mód van. De a legelterjedtebb a következő három módszer a logikai problémák megoldására:

    a logikai algebra segítségével;

    táblázatos;

    érvelés révén.

Ismerjük meg őket egyenként.

I. Logikai feladatok megoldása logikai algebra segítségével

A következőket gyakran használják megoldási diagram:

    tanulmányozzák a probléma állapotát;

    bevezetik a logikai utasítások jelölési rendszerét;

    egy logikai képletet készítünk, amely leírja a logikai összefüggéseket a problémafeltételek összes állítása között;

    meghatározzák ennek a logikai képletnek az igazságértékeit;

    A képlet kapott igazságértékeiből meghatározzák a bevitt logikai állítások igazságértékeit, amelyek alapján következtetést vonnak le a megoldásról.

1. példa Három barát, a Forma-1-es versenyrajongók vitatkoztak a közelgő verseny eredményeiről.

- Meglátod, nem Schumacher lesz az első” – mondta John. Hill lesz az első.

- Nem, a győztes, mint mindig, Schumacher lesz” – kiáltott fel Nick. - Nincs mit mondani Alesiről, nem ő lesz az első.

Peter, akihez Nick fordult, felháborodott:

- Hill nem látja az első helyet, de Alesi pilóta a legerősebb autót.

A versenyszakasz végén kiderült, hogy a két barát két feltételezése beigazolódott, és a harmadik barát mindkét feltételezése téves. Ki nyerte a versenyszakaszt?

Megoldás.

Vezessünk be jelölést a logikai állításokhoz:

Sh- Schumacher fog nyerni; X- Hill fog nyerni; A- Alesi fog nyerni.

Nick „Alesi pilóta a legerősebb autót” sora nem tartalmaz semmilyen kijelentést arról, hogy a pilóta hol fog elfoglalni, ezért a további megbeszélések során nem veszik figyelembe.

Jegyezzük fel az egyes barátok nyilatkozatait:

János: W · X, Nick: Sh · A, Péter: X

Tekintettel arra, hogy két barát feltételezése beigazolódott, a harmadik feltételezései pedig tévesek, írjuk le és egyszerűsítsük az igaz állítást

( W · X)·(W · A) · X  ( W · X)· (Sz · A)· Х   ( W · X)·(W · A)·  X = =( W · X · W · A · X) ( W · X ·  (W · A) ·  X) (W  X) · W · A ·  X = = 0  0  W · A ·  X = W · A ·  X

Nyilatkozat Sh · A · X csak akkor igaz W=1, A=0, X=0.

Válasz. A versenyszakasz győztese Schumacher lett.

II. Logikai feladatok megoldása igazságtáblázatok segítségével.

Ennek a módszernek a használatakor a feladatban foglalt feltételeket és az érvelés eredményeit speciálisan összeállított táblázatok segítségével rögzítjük.

2. példa A szimfonikus zenekar három zenészt fogadott fel: Brownt, Smitht és Wissont, akik hegedülni, furulyán, brácsán, klarinéton, oboán és trombitán tudtak játszani.

Ismeretes, hogy:

    Smith a legmagasabb;

    a hegedűs alacsonyabb, mint a furulyás;

    hegedűs és furulyás játékosok és Brown szeretik a pizzát;

    amikor veszekedés támad egy brácsás és egy trombitás között, Smith kibékíti őket;

    Brown nem tud trombitán vagy oboán játszani.

Milyen hangszereken játszik minden zenész, ha mindegyik két hangszeren játszik?

Megoldás.

Készítsünk egy táblázatot, és tükrözzük benne a probléma feltételeit, töltsük ki a megfelelő cellákat 0 és 1 számokkal, attól függően, hogy a megfelelő állítás hamis vagy igaz.

Mivel három zenész van, hat hangszer, és mindegyik csak két hangszeren játszik, kiderül, hogy mindegyik zenész olyan hangszeren játszik, amit a többiek nem ismernek.

A 4. feltételből az következik, hogy Smith sem brácsán, sem trombitán, a 3. és 5. feltételből pedig az következik, hogy Brown nem tud hegedülni, furulyázni, trombitálni és oboán. Ezért Brown hangszerei a brácsa és a klarinét. Tegyük ezt a táblázatba, és töltsük fel nullákkal a "brácsa" és a "klarinét" oszlopok többi celláját:

hegedű

fuvola

alt

klarinét

oboa

cső

Barna

Kovács

Visson

A táblázat azt mutatja, hogy csak Visson tud trombitálni.

Az 1. és 2. feltételből az következik, hogy Smith nem hegedűművész. Mivel sem Brown, sem Smith nem hegedül, Wisson a hegedűs. A Visson által játszott két hangszer definiálva van, így a "Visson" húr többi cellája nullákkal tölthető fel:

hegedű

fuvola

alt

klarinét

oboa

cső

Barna

Kovács

Visson

A táblázat azt mutatja, hogy csak Smith tud furulyán és oboán játszani.

hegedű

fuvola

alt

klarinét

oboa

cső

Barna

Kovács

Visson

Válasz: Brown brácsán és klarinéton játszik, Smith furulyán és oboán, Wisson pedig hegedűn és trombitán játszik.

3. példa Három osztálytárs - Vlad, Timur és Yura - találkozott 10 évvel a diploma megszerzése után. Kiderült, hogy egyikük orvos, másikuk fizikus, harmadikuk jogász lett. Az egyik a turizmusba, a másik a futásba, a harmadik a rögbibe esett bele.

Yura azt mondta, hogy nincs elég ideje a turizmusra, bár a nővére az egyetlen orvos a családban és lelkes turista.

Az orvos azt mondta, hogy osztja kollégája szenvedélyét.

Vicces, de két barát nevének egy betűje sem szerepel a szakmájuk és a hobbijaik nevében.

Határozza meg, hogy ki mit szeret szabadidejében csinálni, és kinek milyen szakmája van.

Megoldás.

Itt a kezdeti adatok hármasokra vannak osztva (név - szakma - hobbi).

Yura szavaiból egyértelmű, hogy nem érdekli a turizmus, és nem is orvos. Az orvos szavaiból az következik, hogy turista.

Név

Yura

Szakma

orvos

Lelkesedés

idegenforgalom

Az „a” betű az „orvos” szóban azt jelzi, hogy Vlad szintén nem orvos, ezért Timur orvos. Nevében a "t" és az "r" betűk szerepelnek, amelyek a "turizmus" szóban találhatók, ezért a második barátja, akinek szakmájának és hobbijainak nevében egyetlen betű sem szerepel a nevéből - Yura. Yura nem ügyvéd vagy rögbijátékos, mivel a neve „u” és „r” betűket tartalmaz. Ezért végre megvan:

Név

Yura

Timur

Vlad

Szakma

fizikus

orvos

ügyvéd

Lelkesedés

futás

idegenforgalom

rögbi

Válasz. Vlad ügyvéd és rögbijátékos, Timur orvos és turista, Yura fizikus és futó.

III. Logikai feladatok megoldása érvelés segítségével

Ezt a módszert általában egyszerű logikai problémák megoldására használják.

4. példa Vadim, Szergej és Mihail különféle idegen nyelveket tanul: kínait, japánt és arabot. Arra a kérdésre, hogy melyik nyelvet tanulják, az egyik azt válaszolta: „Vadim kínaiul tanul, Szergej nem tanul kínaiul, és Mihail nem tanul arabul.” Később kiderült, hogy ebben a válaszban csak egy állítás igaz, a másik kettő pedig hamis. Milyen nyelvet tanulnak az egyes fiatalok?

Megoldás. Három kijelentés létezik:

    Vadim kínaiul tanul;

    Szergej nem tanul kínaiul;

    Mihail nem tanul arabul.

Ha az első állítás igaz, akkor a második is igaz, hiszen a fiatalok különböző nyelveket tanulnak. Ez ellentmond a probléma kijelentésének, így az első állítás hamis.

Ha a második állítás igaz, akkor az elsőnek és a harmadiknak hamisnak kell lennie. Kiderült, hogy senki sem tanul kínaiul. Ez ellentmond a feltételnek, így a második állítás is hamis.

Válasz: Szergej kínaiul tanul, Mihail japánul, Vadim arabul tanul.

5. példa Oroszország, az Egyesült Államok és Kína külügyminisztere zárt ajtók mögött tárgyalta az egyes országok által benyújtott, a teljes leszerelésről szóló megállapodástervezetet. Majd az újságírói kérdésre: „Kinek a projektjét fogadták el pontosan?” a miniszterek a következő válaszokat adták:

Oroszország - „A projekt nem a miénk, a projekt nem az USA”;
USA - „Ez nem orosz projekt, hanem kínai projekt”;
Kína – „A projekt nem a miénk, hanem Oroszország projektje.”

Egyikük (a legszókimondóbb) mindkétszer igazat mondott; a második (legtitkosabb) mindkétszer hazudott, a harmadik (óvatos) egyszer igazat mondott, máskor pedig hazugságot.

Határozza meg, mely országok képviselik az őszinte, titkolózó és óvatos minisztereket.

Megoldás. A rögzítés megkönnyítése érdekében számozzuk meg a diplomaták nyilatkozatait:

Oroszország - „A projekt nem a miénk” (1), „A projekt nem az USA” (2);
USA – „Not Russia Project” (3), „China Project” (4);
Kína - „A projekt nem a miénk” (5), „Oroszország projektje” (6).

Nézzük meg, melyik miniszter a legszókimondóbb.

Ha orosz miniszterről van szó, akkor az (1) és (2) érvényességéből az következik, hogy a kínai projekt nyert. De akkor az amerikai külügyminiszter mindkét állítása is igaz, ami a feltétel szerint nem lehet így.

Ha a legszókimondóbb az amerikai miniszter, akkor ismét azt kapjuk, hogy a kínai projekt nyert, vagyis az orosz miniszter mindkét állítása igaz is, ami nem lehet így.

Kiderült, hogy a kínai miniszter volt a legszókimondóbb. Abból ugyanis, hogy az (5) és (6) igaz, az következik, hogy az orosz projekt nyert. Aztán kiderül, hogy az orosz miniszter két állítása közül az első hamis, a második pedig igaz. Az Egyesült Államok külügyminiszterének mindkét állítása helytelen.

Válasz: A kínai miniszter szókimondóbb, az orosz miniszter óvatosabb, az amerikai miniszter pedig titkolózóbb volt.

6. § Logikai funkció.

A logika algebrájában az egyszerű állításokat logikai változók helyettesítik, ellenkező esetben a változók értéke csak 0 és 1 lehet. A logikai konnektívumokat a megfelelő matematikai szimbólumokkal helyettesítjük. Ebben az esetben egy összetett állítás logikai függvényté alakul.

Logikai függvény A logikai változók halmazából (a, b, c, ...) származó F-et olyan függvénynek nevezzük, amely csak két értéket vehet fel: 0 és 1.

F(a, b) = a b - logikai szorzás (kötőszó).

F (a, b) = a v b - logikai összeadás (disjunkció).

F (a) =  a - negáció (inverzió).

F(a, b) = a b - implikáció.

F(a, b) = a b - egyenértékűség.

A logikai függvények kiszámíthatók igazságtáblázatok segítségével.

A logikai függvény igazságtáblázata a logikai változók számától függ, és 2n változóhalmazt tartalmaz.

1. példa: Egy logikai függvény értékének kiszámítása

F (a , b ) = (a v b ) (a b )

Válasszunk köztes logikai függvényeket, és töltsük ki az igazságtáblázatot a megfelelő logikai változóhalmazokhoz.

a

b

a v b

(a v b)

b

a b

F(a, b)

A táblázat azt mutatja, hogy a logikai változók bármely halmaza esetén az F (a, b) függvény azonosan egyenlő nullával.

2. példa: Egy logikai függvény értékének kiszámítása a változók adott értékeihez.

F (a, b, c) = a v b  (a  c b).

Számítsa ki: F (1, 0, 1).

Megoldás:

F (1, 0, 1) = 1 v 0  (1  1 0)

A zárójelben lévő kifejezés értékét nem kell kiszámolni, mert akkor a 0 konjunkcióját és a zárójelben lévő kifejezéseket hajtjuk végre. Akkor nálunk van:

F (1, 0, 1) = 1 v 0 = 1.

Válasz: F (1, 0, 1) = 1.

A jelölésben eltérő logikai függvények logikai egyenlőségének bizonyítására is használják az igazságtáblázatok felépítésének módszerét. Ezenkívül, ha a függvények értékei egybeesnek a logikai változók minden azonos halmazán, akkor ekvivalensnek nevezzük őket.

A két logikai függvényt ún egyenértékű, ha a függvényértékek a logikai változók minden azonos halmazán egybeesnek.

3. példa Két logikai függvény egyenlőségének bizonyítása.

Bizonyítsuk be, hogy a függvények F 1 ( a , b ) = a v b És F 2 ( a , b ) = a b egyenértékűek.

a

b

a

a v b

a b

A táblázatból megállapítjuk, hogy a logikai változók minden azonos halmazán a függvények értéke egybeesik, ezért ekvivalensek.

A logika törvényeinek alkalmazása lehetővé teszi a logikai kifejezésekben a változók számának csökkentését és a logikai függvények egyszerűsítését.

A logika törvényei is érvényesek logikai függvények felépítéséhez igazságtáblázatok segítségével. Ebben az esetben az embert irányítani kell a következő szabályt:

    Az igazságtábla minden egységértékkel rendelkező sorához állítson össze egy mintermet (változók konjunkciója), és a változónak egyszer kell előfordulnia (negáció nélkül vagy tagadással). Ha az igazságtáblázatban a változók nulla értéket tartalmaznak egy sorban, akkor a mintermet tagadással, az egy értékű változók pedig a mintermet negáció nélkül írják be.

    Kombinálja az összes mintermet a diszjunkciós művelet segítségével.

    Ha lehetséges, egyszerűsítse a kapott logikai képletet.

4. példa Logikai függvény felépítése adott igazságtáblázatból.

a

b

c

F(a, b, c)

Jelöljük ki azokat a sorokat, amelyekben a függvény 1-gyel egyenlő, és készítsünk hozzájuk mintermeket:

1. sor: a  b  c ;

2. sor: a  b c .

Kombináljuk a mentális kifejezéseket: F ( a , b , c ) = a  b  c a  b c .

Egyszerűsítsük a logikai függvényt: F ( a , b , c ) = a  b  c a  b c = {3} = a  b ( c c ) = {6} = a  b 1= {7} = a  b = {4} = ( a b )

Tehát van egy logikai függvényünk F ( a , b , c ) = ( a b ).

7. § A számítógépek logikai alapjai. Alapvető logikai elemek.

A logikai algebra matematikai berendezése nagyon kényelmes a számítógépes hardver működésének leírására, mivel a számítógép fő számrendszere bináris, amely az 1-es és a 0-s számokat használja, és a logikai változóknak két értéke van: „1” és „0”.

Ebből két következtetés következik:

    Ugyanazok a számítógépes eszközök használhatók mind a kettes számrendszerben bemutatott numerikus információk, mind a logikai változók feldolgozására és tárolására;

    A hardvertervezés szakaszában a logikai algebra lehetővé teszi a számítógépes áramkörök működését leíró logikai függvények jelentős egyszerűsítését, és ennek következtében az elemi logikai elemek számának csökkentését, amelyekből több tízezer alkotja a számítógépes áramkörök fő összetevőit. számítógép.

Az adatok és parancsok különböző szerkezetű és hosszúságú bináris sorozatokként jelennek meg. A bináris információ kódolásának különféle fizikai módjai vannak. Számítógépes elektronikai eszközökben A binárisokat leggyakrabban magasabb feszültségszinten kódolják, mint a bináris nullákat.

Logikai elem A számítógép egy elektronikus logikai áramkör része, amely elemi logikai funkciót valósít meg.

A számítógépek alapvető logikai elemei a logikai funkciók megvalósítására az elektronikus áramkörök AND, OR, NOT, NAND, NOR (más néven szelepek).

Ezekkel az áramkörökkel bármilyen logikai függvényt megvalósíthat, amely leírja a számítógépes eszközök működését. A szelepek általában egy-nyolc bemenettel és egy vagy két kimenettel rendelkeznek.

A két „1” és „0” logikai állapot megjelenítéséhez a kapukban a megfelelő bemeneti és kimeneti jelek két beállított feszültségszinttel rendelkeznek. Például +5 volt és 0 volt. A magas szint általában az „igaz” („1”), az alacsony szint pedig a „hamis” („0”) értéknek felel meg.

Minden logikai elemnek megvan a maga szimbóluma, amely kifejezi logikai funkcióját, de nem jelzi, hogy milyen elektronikus áramkör van benne megvalósítva.

Ez megkönnyíti az összetett logikai áramkörök írását és megértését. A logikai elemek működését igazságtáblázatok segítségével is leírjuk.

És (kötőszó)

x

y

Egy ÉS áramkör két vagy több logikai érték konjunkcióját valósítja meg.

0

0

0

0

1

0

1

0

0

1

1

1


x. y

Akkor és csak akkor lesz egy az ÉS áramkör kimenetén, ha minden bemeneten van. Ha legalább egy bemenet nulla, a kimenet is nulla lesz. Az áramkör z kimenete és az x és y bemenetek közötti kapcsolatot a következő összefüggés írja le: . y

A konjunkció működését blokkdiagramokban a jel jelzi "&" (olvasd úgy "és"), amely az angol szó rövidítése és.

VAGY (disjunktor)

Egy VAGY áramkör két vagy több logikai érték diszjunkcióját valósítja meg.

x

y

x y

0

0

0

0

1

1

1

0

1

1

1

1


Ha a VAGY áramkör legalább egy bemenete egy, a kimenete is egy lesz.

Kommunikáció a kimenetek között z ez az áramkör és a bemenetek xÉs yösszefüggés írja le: z = x v y

Jel "1" diagramban - a diszjunkció elavult megjelölésétől mint ">=1" (azaz a diszjunkció értéke eggyel egyenlő, ha az operandusok értékeinek összege nagyobb vagy egyenlő, mint 1).

NEM (inverter)

x

y

(x . y)

0

0

1

0

1

1

1

0

1

1

1

0


Rendszer ÉS-NEM elemből áll ÉS ÉS.

Kommunikáció a kimenetek között zés bejáratok xÉs y a diagramokat a következőképpen írjuk: z = (x . y), ahol x . y tetszik "x és y inverziója".

NOR (Pierce elem)

Rendszer VAGY-NEM elemből áll VAGYés inverter és negálja az áramkör eredményét VAGY. c)

F = a ( b c) (a e d) ( a b c)

F = a b c a b c a b c d

F=a a · (b c) ( a d g) · (b d) · (c d g h)

8. § A számítógép logikai elemei. Kioldó és összeadó.

Kioldó egy elektronikus áramkör, amelyet széles körben használnak a számítógépes regiszterekben a bináris kód egy számjegyének megbízható tárolására. A triggernek két stabil állapota van, amelyek közül az egyik egy bináris, a másik egy bináris nullának felel meg.

Term ravaszt az angol szóból származik ravaszt- retesz, kioldó. Ennek a sémának az angol nyelvű jelölésére a kifejezést gyakrabban használják flip-flop, ami lefordítva azt jelenti: „taps”. Az elektronikus áramkörnek ez a névadó neve arra utal, hogy szinte azonnal át tud váltani ("átkapcsolni") egyik elektromos állapotból a másikba és fordítva.

A triggerek legelterjedtebb típusa az úgynevezett RS trigger (az angolból S, illetve R készlet- beépítés és reset- reset).

S0

1

1

0

1

0

0

1

1

1

bittárolás

S Q

R K


Elemezzük a flip-flop R és S bemeneteinek lehetséges kombinációit az áramköre és a NOR-NOT áramkör igazságtáblázata segítségével

    Ha a trigger bemenetekre S=“1”, R=“0” kerül, akkor (állapottól függetlenül) „0” jelenik meg a felső kapu Q kimenetén. Ezt követően az alsó szelep bemenetei R=“0”, Q=0” és a kimenet K"1" lesz.

    Ugyanígy, ha „0”-t alkalmazunk az S bemenetre és „1”-et az R bemenetre, akkor a kimenet K A „0” jelenik meg, a Q-n pedig az „1”.

    Ha az R és S bemenetekre logikai „1” kerül, akkor a Q és állapot K nem változik.

    A logikai „0” R és S bemenetre történő alkalmazása kétértelmű eredményekhez vezethet, ezért a bemeneti jelek ilyen kombinációja tilos.

Mivel egy trigger csak egy bit bináris kódot tud megjegyezni, egy bájt emlékezéséhez 8 flip-flop szükséges, egy kilobájt emlékezéséhez pedig 8 x 2 10 = 8192 flip-flop szükséges. A modern memóriachipek több millió triggert tartalmaznak.

Annak érdekében, hogy a számítógép működését a lehető legnagyobb mértékben leegyszerűsítsük, a matematikai műveletek teljes választékát bináris számok hozzáadására redukáljuk.

Emlékezzünk vissza, hogy bináris számok összeadásakor egy adott számjegyben összeg keletkezik, és lehetséges a legjelentősebb számjegyre történő átvitel is.

Alkatrészek

Átruházás

Összeg

A

B

P

S

0

0

0

0

0

1

0

1

1

0

0

1

1

1

1

0

Ebből a táblázatból látható, hogy az átvitel az „ÉS” logikai elem segítségével valósul meg.

Az összeget tekintve a legalkalmasabb logikai kapu az "OR" kapu. A negyedik számpár összeadásakor azonban az eredménynek 0-nak kell lennie, nem 1-nek. A kívánt eredmény elérése érdekében átviteli jelet adhatunk a „NOT” kapura, majd annak kimenetéről és a „VAGY” kapu, küldjön egy jelet a „NEM” kapunak. Az „AND” elem kimenetén megkapjuk a szükséges jelet.


A (0,0,1,1) P (0,0,0,1)

B (0,1,0,1)

0,0,0,1 1,1,1,0 S (0,1,1,0)

0,1,1,1

Ezt a sémát az ún fél összeadó, mert egyjegyű bináris számok összegzését valósítja meg anélkül, hogy figyelembe venné a legkisebb jelentőségű számjegytől való átvitelt.

Vipera egy elektronikus logikai áramkör, amely bináris számok összegzését végzi

Az összeadó elsősorban a számítógép aritmetikai-logikai eszközének központi egységeként szolgál, de a gép más eszközeiben is alkalmazásra talál.

a i

b i

p i

p i-1

c i

Az A és B számok összeadásakor én A számjegynek három számjegynek kell lennie:

1. számjegy a én első ciklus;

2. számjegy b én második ciklus;

3. átadás p i–1 junior rangtól.

Az összeadás eredményeként két számjegyet kapunk: c számjegyet énösszegért; átadás p én ebből a kategóriából a senior.

Így, Az egybites bináris összeadó három bemenettel és két kimenettel rendelkező eszköz, melynek működése a következő igazságtáblázattal írható le:

Bemenetek

Kilépések

Első ciklus

Második kifejezés

Átruházás

Összeg

Átruházás

a i

b i

p i-1

c i

p i

0

0

0

0

0

0

0

1

1

0

0

1

0

1

0

0

1

1

0

1

1

0

0

1

0

1

0

1

0

1

1

1

0

0

1

1

1

1

1

1

Ha két vagy több bites bináris szavakat kell hozzáadnia, használhatja az ilyen összeadók soros kapcsolatát, és két szomszédos összeadó esetén az egyik összeadó átviteli kimenete a másik bemenete.

Többbites bináris összeadó, többjegyű bináris számok hozzáadására tervezték, egy számjegyű összeadók kombinációja.

Például egy séma két háromjegyű bináris szám A = (a 2 a 1 a 0) és B = (b 2 b 1 b 0) C = (c 3 c 2 c 1 c 0) összegének kiszámítására, ahol c 0 az összeg legkisebb számjegye, 3 pedig az összeg legjelentősebb számjegye, így nézhet ki:


a 0 a 1 a 2

b 0 b 1 b 2

0 a 3-ból

s 0 s 1 s 2

Ebből arra következtethetünk, hogy a logikai elemek azok az építőelemek, amelyekből logikai áramkörök felépítésével minden modern számítógép „épülete” felépül.

Kérdések az önkontrollhoz:

    Mit tanul a logika, a matematikai logika és a logikai algebra?

    Határozza meg a következő fogalmakat: állítás, állítás, érvelés, következtetés, logikai kifejezés!

    Alapvető logikai konnektívumok, elemi és összetett állítások.

    Sorolja fel az alapvető logikai műveleteket és azok megírását!

    Határozzon meg egy logikai képletet.

    Magyarázza meg a következő fogalmak jelentését: megvalósítható logikai formula, tautológia, ellentmondás, a képlet ekvivalens átalakítása!

    Írjon le képleteket az implikáció és az ekvivalencia más alapvető logikai műveletek kombinációjával való helyettesítésére.

    A logikai képlet igazságtáblázatának fogalma. Elemi képletek igazságtáblázatai.

    Mi a képlet egyszerűsítése?

    A logikai algebra alaptörvényei.

    Sorolja fel és jellemezze a logikai problémák megoldásának főbb módjait!

    Adja meg a logikai függvény definícióját!

    Az ekvivalens logikai függvények fogalma.

    A szabály a logikai függvények igazságtáblázatok segítségével történő felépítésére.

    A számítógép logikai elemének meghatározása. Alapvető logikai elemek.

    Kioldó és összeadó. Megfelelő igazságtáblázatok és logikai áramkörök.

A számokkal végzett alapvető műveletek az összeadás és a kivonás.

  • 1. Bináris számok hozzáadása
  • 0 + 0 = 0 0+1 = 1 1+0=1
  • 1 + 1=0 + átviteli egység a legjelentősebb számjegyre, azaz. 1 + 1 = 10 2 .

Az egyes számjegyekben bináris számok összeadásakor a szabályoknak megfelelően az összeadások két számjegyének vagy e két számjegynek és egy egységnek az összeadása történik, ha a szomszédos alacsony rendű számjegyből átvitel történik. Az eredmény az összeg megfelelő számjegyének számjegye, és esetleg a átvitel mértékegysége is a legjelentősebb számjegyhez.

1. példa Hozzáadás a bináris rendszerben

  • 2. Bináris számok kivonása a következő szabályok szerint kell végrehajtani:
  • 0-0 = 0 1-0=1 1-1=0 10 2 -1 = 1

Egy adott számjegyű bináris számok kivonásakor szükség esetén a következő, legjelentősebb számjegyből veszünk egyet. Ez a foglalt egység egyenlő ennek a legkisebb jelentőségű számjegynek a két egységével. Ezt a műveletet minden alkalommal végrehajtja, amikor a részrész számjegye nagyobb, mint az ugyanabban a számjegyben lévő számjegy. 2. példa Vonja ki a következő számokat binárisan:

Műveletek pozitív és negatív számokkal

Az előjeles számok ábrázolásának gyakori formái a közvetlen, fordított és komplementer kódokban történő ábrázolásuk.

Az utolsó két formát különösen széles körben használják, mivel lehetővé teszik a számítógép aritmetikai-logikai eszközének tervezését azáltal, hogy a különféle aritmetikai műveleteket összeadás művelettel helyettesítik.

Közvetlen kód számot úgy képezünk, hogy a szám előjelét nullával kódoljuk, ha a szám pozitív, és egyet, ha a szám.

1. példa Képzelj el egy pozitív számot 127yu=1111111 2 közvetlen kódban: 0 1111111

2. példa Képzeljünk el egy negatív számot - 1)0 a közvetlen kódban:

Visszaküldési kód a számokat úgy kapjuk meg, hogy a szám abszolút értékének bináris kódjának összes számjegyét megfordítjuk, kivéve az előjeles számjegyet: a nullákat egyesekkel, az egyeseket nullákkal helyettesítjük.

Példa 3. Mutassa be az eredeti számot - 1 w fordított kóddal:

4. példa Képzelje el, hogy az otpittyattknpe xshg.tto - 1 77 10 fordított kódban:

Szám modul kódja Egy szám fordított kódja

Kiegészítő számkódúgy kapjuk meg, hogy egy fordított kódot képezünk, majd hozzáadunk egyet a legkisebb jelentőségű számjegyhez.

5. példa: Mutasson be egy negatív számot – 1yu a kettős komplement kódban: 11111111

Példa 6. Jelenítse meg a negatív -127 számot a kettes komplement kódjában:

Számok összeadása kettős komplementerben

1. példa Hajtsa végre a következő aritmetikai műveletet "-5+3".

Teendőink ebben az esetben a következők:

3. Adjunk hozzá számokat.

4. Ha az eredmény negatív, akkor az előjel kivételével a szám összes számjegyét fordítsa meg, és adjon hozzá egyet az eredmény alacsony rendű számjegyéhez.

Válasz:- 2, ezért minden műveletet megfelelően hajtottak végre.

Példa 2. Hajtsa végre a következő "5 - 3" aritmetikai műveletet. Egy kivonási művelet végrehajtásával és egy negatív szám kettős komplemens kódjában való megjelenítésével a kivonási műveletet összeadással helyettesítheti.

1. Jelöljük a számokat bináris kódban:

2. Egy negatív számot a kettő komplementerében kell ábrázolni. Ehhez megfordítjuk a szám összes számjegyét, kivéve az előjelet, és hozzáadunk egyet az eredmény alacsony rendű számjegyéhez.

3. Adjunk hozzá számokat.

  • 4. Ha az eredmény pozitív, akkor az előjelbitből származó átviteli egységet el kell dobni.
  • 5. A kapott számot át kell alakítani decimális számrendszerré. Válasz:+ 2, ezért minden műveletet helyesen hajtottak végre.

A logikai algebra és a bináris kódolás kapcsolata

Logikai algebra- a matematika olyan ága, amely a logikai jelentésük (igazság vagy hamisság) szempontjából vizsgált állításokat és az azokra vonatkozó logikai műveleteket vizsgálja. Logikus kijelentés- minden kijelentő mondat, amelyről egyértelműen kijelenthető, hogy igaz vagy hamis.

A logikai algebra komplex logikai állítások szerkezetét (formáját, szerkezetét) és igazságuk algebrai módszerekkel történő megállapításának módjait vizsgálja.

Tehát például a javaslat "8 - páros szám"állításnak kell tekinteni, mert igaz. Ajánlat "Moszkva - Belgium fővárosa"állítás is, mivel hamis.

Természetesen nem minden mondat logikus kijelentés. Az állítások nem például mondatok "első éves diák"És "fagylalt - finom." Az első mondat nem mond semmit a tanulóról, a második pedig a „finom” túl homályos fogalmát használja. A kérdő és felkiáltó mondatok szintén nem állítások, mivel nincs értelme igazukról vagy hamisságukról beszélni. Javaslatok, mint „A városnak több mint egymillió lakosa van», "kék szeme van„nem állítások, hiszen igazságuk vagy hamisságuk megállapításához további információkra van szükség: milyen városról vagy személyről van szó.

Az ilyen mondatokat propozíciós alakoknak nevezzük. Kifejező forma- egy kijelentő mondat, amely közvetve vagy közvetlenül tartalmaz legalább egy változót, és akkor válik állítássá, ha minden változót az értékükre cserélünk.

A logikai algebra matematikája nagyon hasznos a számítógépes hardver működésének leírására, mivel az alapvető számrendszer, amellyel a számítógép működik, a kettes számrendszer, amely csak az 1-et és a 0-t használja.

Ebből következik:

  • - ugyanazok a számítógépes eszközök használhatók mind a kettes számrendszerben bemutatott numerikus információk, mind a logikai változók feldolgozására és tárolására;
  • - a hardvertervezés szakaszában a logikai algebra lehetővé teszi a számítógépes áramkörök működését leíró logikai függvények jelentős egyszerűsítését, és ennek következtében az elemi logikai elemek számának csökkentését, amelyekből több tízezer alkotja a fő összetevőket. a számítógépet.

A számítógépben lévő adatok és parancsok különböző szerkezetű és hosszúságú bináris sorozatok formájában jelennek meg. A bináris információ kódolásának különféle fizikai módjai vannak. A számítógépes elektronikában a binárisokat leggyakrabban magasabb feszültségszinten kódolják, mint a bináris nullákat.

Logikai elem A számítógép egy elektronikus logikai áramkör része, amely elemi logikai funkciót valósít meg.

A számítógépek legegyszerűbb logikai elemei az „ÉS”, „VAGY”, „NEM”, „ÉS-NEM”, „VAGY-Ő” elektronikus áramkörök. Minden logikai elemnek megvan a maga szimbóluma, amely kifejezi logikai funkcióját, de nem jelzi, hogy milyen elektronikus áramkör van benne megvalósítva. Ez megkönnyíti az összetett logikai áramkörök írását és megértését.

A logikai elemek, valamint a logikai függvények működését igazságtáblázatok segítségével írjuk le. Igazság táblázat- ez egy táblázat, amelyben a logikai függvény értékei mind a 2 P bemeneti argumentumkészlethez vannak írva. Például egy három változós kifejezés teljes igazságtáblázata 2 3 =8 sort tartalmaz, ha ebből csak 6 van megadva, akkor 2 8 " 6 =2 2 =4 különböző logikai kifejezést találhat, amely kielégíti ezt a 6 sort. A logikai függvény teljes definiálásához elegendő vagy felsorolni az összes olyan halmazt, amelyhez ez a függvény 1-gyel egyenlő értékeket vesz fel, vagy minden olyan halmazt, amelynél ez a függvény 0-val egyenlő értékeket vesz fel.

Elemi logikai függvények és logikai kapuk

Az egy vagy két változótól függő logikai függvényeket elemi függvényeknek nevezzük. Az alapvető logikai függvények közé tartoznak a következő elemi függvények: negáció, logikai szorzás, logikai szorzás tagadása, logikai összeadás, logikai összeadás tagadása, implikáció stb.

Negációs függvény egy argumentum logikai függvénye, amely 1 értéket vesz fel, ha az argumentum 0, és 0 értéket vesz fel, ha az argumentum 1, és az ún. tagadás (inverzió) vagy logikai függvény "NEM".

A mindennapi beszédben gyakran használjuk a „NEM” szót vagy az „EZ NEM IGAZ” szavakat, ha valamit le akarunk tagadni. Például mondja valaki: – Hideg van odakint.(Jelöljük ezt az állítást A.) Ha nem ért egyet, azt fogja mondani: "NINCS hideg odakint." Vagy: "Nem igaz, hogy hideg van kint." (Jelöljük a nyilatkozatát IN.) Könnyen belátható, hogy az állítások igazságértékei AÉs IN bizonyos kapcsolatban vannak: ha A akkor igaz IN hamis, és fordítva.

A „NOT” logikai függvény jelölése F = X, ahol a változó feletti sáv az inverzió jele, vagy -iX. Az egyik argumentumból származó „NEM” logikai függvényt egy igazságtáblázat írja le (8. táblázat).

8. táblázat: Igazságtáblázat a „NEM” logikai függvényhez

A „NOT” logikai elem (inverter) a negációs műveletet valósítja meg. Ha ennek a logikai elemnek a bemenete 0, akkor a kimenet 1, ha pedig a bemenet értéke 1, akkor a kimenet 0.

Az inverter szimbóluma a blokkvázlatokon az ábrán látható. 12.

Rizs. 12.

Logikai szorzási függvény Az n argumentum egy logikai függvény, amely csak akkor veszi fel az 1 értéket, ha minden argumentum egyenlő 1-gyel, és 0 minden más esetben.

Ha kötőszót mondunk ki, akkor azt állítjuk, hogy az állításban említett mindkét esemény bekövetkezik. Például azzal, hogy „Petrovék a saját költségükön nyaraltak, és elmentek a Krím-félszigetre”, nyilatkozatunkban kifejezzük meggyőződésünket, hogy mindkét esemény megtörtént.

A logikai szorzófüggvényt is hívják kötőszó vagy az "ÉS" függvényt. A logikai szorzás elemi függvénye két argumentumtól függ, és a következő igazságtáblázat írja le (9. táblázat).

9. táblázat: Igazságtáblázat az "ÉS" logikai függvényhez

Az „ÉS” logikai függvény írásakor a következő opciók lehetségesek: F=X AY;

F=XY, ahol az „L”, „&”, „ ” jelek a logikai szorzás működését jelző jelek. Minden felvételi lehetőség egyenértékű.

Rizs. 13.

Az „AND” logikai elem két vagy több logikai érték összekapcsolását valósítja meg. A két bemenettel rendelkező konjunkció blokkdiagramjain a szimbólumot az ábra mutatja. 13.

Logikai összeadási funkció Az n argumentum egy logikai függvény, amely csak akkor veszi fel a 0 értéket, ha minden argumentum egyenlő 0-val (vagyis ha n nulla van), és 1-et minden más esetben (vagyis ha legalább egy argumentum egyenlő eggyel).

A logikai összeadás függvényt is hívják diszjunkció vagy "OR" logikai függvény. Azzal, hogy azt mondjuk: „Petrov tévét néz vagy kinéz az ablakon”, azt értjük, hogy Petrov legalább egy dolgot csinál. Ugyanakkor Petrov egyszerre nézhet tévét és kinézhet az ablakon. És ebben az esetben a diszjunkció igaz lesz.

Egy elemi diszjunkció két argumentumtól függ, és a következő igazságtáblázat írja le (10. táblázat).

10. táblázat: Igazságtáblázat az "OR" logikai függvényhez

Rizs. 14.

Az "OR" logikai függvény írásakor a következő lehetőségek lehetségesek:

ahol a „V”, „+” jelek a logikai összeadás műveletét jelölik.

A VAGY kapu két vagy több logikai érték diszjunkcióját valósítja meg. Ha az „OR” elem legalább egy bemenete egy, a kimenete is egy lesz. A két bemenettel rendelkező „VAGY” logikai elem blokkdiagramján lévő szimbólum a 2. ábrán látható. 14.

Logikai szorzás negációs függvénye A "NAND" értéke 0, ha minden argumentum 1, és 1 minden más esetben. A logikai szorzás negációs függvénye két argumentumtól függ, és a következő igazságtáblázatban (11. táblázat) írja le.

11. táblázat: Igazságtáblázat a logikai szorzás negációs függvényéhez

A logikai szorzás negációs függvényének írásakor a következő opciók lehetségesek:

Rizs. 15.

Az „AND-NOT” logikai elem egy „ÉS” elemből és egy inverterből áll, és az ÉS függvény eredményét tagadja. 15.

Logikai összeadás tagadó függvénye 1 értéket vesz fel, ha minden argumentum 0, és 0 értéket egyébként.

A logikai összeadás tagadófüggvénye két argumentumtól függ, és a következő igazságtáblázat írja le (12. táblázat).

12. táblázat: Igazságtáblázat a logikai összeadás tagadófüggvényéhez

A logikai összeadás negációs függvényének írásakor a következő lehetőségek állnak rendelkezésre:

Rizs. 16.

Az „OR-HE” logikai elem egy „OR” elemből és egy inverterből áll, és tagadja az „OR” logikai függvény eredményét. A két bemenettel rendelkező „OR-HE” logikai elem blokkdiagramjain lévő szimbólumot az ábra mutatja. 16.

Az „ÉS”, „VAGY”, „NEM” logikai operátorokat használó összetett kifejezésekben először a „NOT” tagadási műveletet hajtják végre, majd az „ÉS” kötőműveletet. Végül az „OR” szétválasztási műveletet hajtjuk végre. A megadott műveleti sorrend megváltoztatásához használjon zárójeleket a kifejezésekben. A felsorolt ​​funkciók mellett az egyik legfontosabb művelet az implikáció(következő), amelyet -> jelöl, és a megfelelő táblázat írja le (13. táblázat).

13. táblázat.Igazságtáblázat az implikációs függvényhez

Az implikáció egy logikai művelet, amely minden két egyszerű állítást egy összetett állításhoz társít, amely akkor és csak akkor hamis, ha a feltétel (az első állítás) igaz, és a következmény (a második állítás) hamis.

Vegyük fontolóra a kijelentést: „Ha holnap jó idő lesz, elmegyek sétálni.” Itt A= Holnap jó idő leszÉs B= Elmegyek sétálni. Nyilvánvaló, hogy az ember csak akkor lesz hazug, ha valóban jó lesz az idő, és nem megy el sétálni. Ha rossz az idő, akkor függetlenül attól, hogy elmegy sétálni vagy sem, nem vádolható hazugsággal: megígérte, hogy csak jó idő esetén megy sétálni.

A hétköznapi beszédben a kötő "ha... akkor" az állítások közötti ok-okozati összefüggést írja le. De a logikai műveletekben az állítások jelentését nem veszik figyelembe. Csak azok igazságát vagy hamisságát veszik figyelembe. Ezért nem szabad zavarba hozni a tartalmilag teljesen független kijelentések implikációinak „értelmetlenségét”. Például így: „ha van víz a Holdon, akkor tigrisek élnek az állatkertben”, „ha eper - bogyó, akkor van kenyér a boltban.”

Az implikáció nyilvánvalóan igaz, ha az A feltétel hamis. Más szóval, a helytelen állapotból bármi következhet. Például igaz a „Ha 2>3, akkor a krokodilok repülnek” állítás.

A konnektívumokkal kifejezett működés „akkor és csak akkor”, „szükséges és elegendő” hívott egyenértékű vagy kettős implikáció, és a = jelekkel jelöljük. Az egyenértékűséget a megfelelő táblázat írja le

14. táblázat.Igazságtáblázat az ekvivalenciafüggvényhez

Például, mondván: "ÉNÚtlevelet akkor és csak akkor kapok, ha betöltöm a 14. életévemet” – állítja az illető, nem csak azt állítja, hogy 14 éves kora után kap majd útlevelet, hanem azt is, hogy útlevelet csak betöltése után kaphat. 14 éves.

Így az XY állítás akkor és csak akkor igaz, ha X és Y értéke megegyezik. Figyelembe kell venni, hogy az általunk vizsgált művelet - implikáció - diszjunkcióval és negációval fejezhető ki:

és az ekvivalencia tagadással, diszjunkcióval és konjunkcióval fejezhető ki:

Milyen kifejezés lehet F?

Készítsünk igazságtáblázatot a válaszban javasolt összes kifejezéshez:

Számítsuk ki a logikai kifejezéseket a négy javasolt válaszhoz. Látjuk, hogy az X v Y v Z és F oszlopokban lévő logikai kifejezések értékei egybeesnek, ezért a helyes válasz a 3.

Példa 2. X jelzett értékei közül melyikre igaz az állítás?

Látható, hogy az állítás az ((X>2) -> -> (X>3) kifejezés negációja. Igaz, ha ((X>2) -> (X>3)) hamis. Az implikáció egyetlen esetben hamis: a bal oldali állítás igaz (esetünkben X>2 igaz X=3 és X=4 esetén), a jobb pedig hamis (ez igaz X=1, X= esetén 2 és X=3). Ezért az egyetlen módja annak, hogy ez az implikáció hamis (tehát az eredeti kifejezés igaz), a harmadik.

Az algebrai logika alaptörvényei

A logika algebrájában számos olyan törvény létezik, amelyek lehetővé teszik a logikai kifejezések egyenértékű (azonos) transzformációját. A logikai kifejezések átalakításának szabályait a táblázat tartalmazza. 15.

15. táblázat.A logikai kifejezések átalakításának szabályai

dupla negatív

Egy állítás tagadásának tagadása ugyanaz, mint ennek az állításnak a megerősítése

kommutatív

(kommutatív)

A L V = V L A

A V B = B V A

asszociációs

(asszociációs)

(A L V) L S = A A (V L S)

(A v B) v C = A v (B v C)

elosztó

(elosztó)

(A L B) V C = (A V B) A (A VC)

Aa(BvC) = AaBvAa C

de Morgana

A B = A" + B

egy logikai szorzat tagadása ekvivalens a tényezők tagadásának logikai összegével

A + B = A -B

egy logikai összeg tagadása ekvivalens a kifejezések tagadásának logikai szorzatával

átvételek

A A (A V B) = A

A V A A B = A

ragasztás

(A V B) L (-A V B) = B

(A A B) v (-A V B) = B

a harmadik kiiktatása (változó művelete annak megfordításával)

Minden állításra csak két lehetőség van: az állítás igaz vagy hamis.

A logikai műveletek sorrendjét zárójelek határozzák meg. A zárójelek számának csökkentése érdekében feltételezzük, hogy először a tagadási műveletet hajtjuk végre, majd a konjunkciót, és csak azután a diszjunkciót. Végül az implikáció és az egyenértékűség teljesül.

A logikai formulák ekvivalens transzformációinak célja ugyanaz, mint a közönséges matematikában. Arra szolgálnak, hogy a képleteket leegyszerűsítsék, és a logikai algebra alaptörvényei segítségével egy bizonyos formába hozzák őket.

Az implikáció és az ekvivalencia műveleteit nem tartalmazó képlet egyszerűsítése ekvivalens transzformációnak minősül, amely egy olyan képlethez vezet, amely:

  • - vagy az eredetihez képest kevesebb konjunkciós és diszjunkciós műveletet tartalmaz, és nem tartalmazza a nem elemi formulák tagadását;
  • - vagy kisebb számú változó előfordulását tartalmazza.

A logikai formulák egyes transzformációi hasonlóak a közönséges algebra képletek transzformációihoz (a közös tényezőt zárójelekből kivesszük, kommutatív és kombinációs törvényeket alkalmazunk stb.), míg más transzformációk olyan tulajdonságokon alapulnak, amelyekkel a közönséges algebra műveletei nem rendelkeznek ( az abszorpció, ragasztás törvényei, de Morgan).

Példákkal mutatunk be néhány technikát és módszert a logikai képletek egyszerűsítésére.

1. példa

(a logikai algebra törvényeit a következő sorrendben alkalmazzuk: de Morgan szabálya, kombinációs törvénye, egy változó műveleti szabálya annak inverziójával és a konstansokkal végzett műveletek szabálya).

2. példa

(de Morgan szabályt alkalmazzuk, a közös tényezőt zárójelből kivesszük, a változó műveletek szabályát annak megfordításával alkalmazzuk).

3. példa Melyik logikai kifejezés ekvivalens a kifejezéssel

De Morgan szabályát használva végrehajtjuk a transzformációt

A kettős tagadási szabályt használva a következő eredményt kapjuk: Ezért a helyes válasz a 2.

Tesztkérdések és feladatok

  • 1. Ismertesse a bináris aritmetika szabályait!
  • 2. Közvetlen, fordított és kiegészítő számkódok – magyarázza el a köztük lévő különbséget.
  • 3. Mi a kapcsolat a bináris kódolás és a logikai algebra között?
  • 4. Milyen elemi logikai függvényeket és logikai elemeket ismer? Mondjon példákat az igazságtáblázataikra!
  • 5. Adja hozzá a következő számokat:

6. Vonja ki a következő számokat:

  • 7. Ismertesse a logikai algebra és a bináris kódolás kapcsolatát! Mondjon példákat logikai állításokra!
  • 8. Mi az igazságtáblázat?
  • 9. Ismertesse a NOT logikai függvényt. Adja meg az igazságtáblázatát. Jöjjön ki több állítás a NOT függvény használatával.
  • 10. Adja meg az ÉS logikai függvény leírását! Készítsen néhány állítást az ÉS függvény használatával.
  • 11. Ismertesse a logikai VAGY függvényt! Adja meg az igazságtáblázatát. A VAGY függvény használatával többféle állítást állíthat elő.
  • 12. Meséljen nekünk az „implikáció” logikai műveletéről! Adja meg az igazságtáblázatát.
  • 13. Melyik logikai utasítás ekvivalens az -i (A v -iB d C) kifejezéssel?

14. Adott az F kifejezés igazságtáblázatának egy részlete.

ÉS (ÉS) - logikai szorzás

A parancs végrehajtja két szám bitjének bitenkénti konjunkcióját (logikai szorzás - „ÉS” művelet); 1-et állít be az eredmény azon bitjeire, amelyekben mindkét eredeti operandus 1 volt. Az ÉS művelet igazságtáblázata:

NOT (NOT) - negációs művelet

A parancs beállítja a bitek fordított értékét egy számban (inverziós művelet). A "NOT" művelet igazságtáblázata.

A
NEM A

Önellenőrző kérdések

1. Mi a logika algebrája?

2. Tekintsük a logikai algebra felhasználási körét számítógépes rendszerekben!

3. Elemezze a számítási áramkörök logikai szintézisének folyamatát!

4. Tekintsük az OR, AND, NOT és NAND logikai áramkörök kölcsönös szerkezeti felépítését.

5. Nevezzen meg néhány elektronikus elemrendszert, amelyek alapján a számítógépeket tervezték!



6. K Mi az a térhatású tranzisztor? Fontolja meg felépítését és működési elvét.

7. Hasonlítsa össze a bipoláris és unipoláris tranzisztorokat!

8. Melyek a CMOS tranzisztoros áramkörök fő előnyei?

9. Melyek azok a főbb módszerek, technológiák, amelyek lehetővé teszik a mikroáramkörök órajelének növelését?

10. Mi az a térhatású tranzisztoros RAM elem?

11. Milyen szerkezeti jellemzői vannak a flash memória elemnek?

12. Mi az a trigger? Rajzolja le a logikai szerkezetét!

13. Tekintsük a FeRAM és MRAM mágneses elemeken való információtárolás elvét.

14. Tekintsük egy regiszter, számláló, dekódoló szerkezeti logikai diagramjait!

15. Hajtsa végre a VAGY, ÉS, XOR és NEM logikai műveleteket bináris számokon.

3. szakasz Személyi számítógép architektúrája

7. fejezet Főbb számítógépblokkok és rendeltetésük

A fejezet tanulmányozása után a tanulónak tudnia kell:

személyi számítógép blokkvázlata,

· a fő számítógépblokkok célja és funkciói,

· a mikroprocesszorban lévő eszközök összetétele és funkciói,

· a számítógépes tárolóeszközök összetétele és hierarchiája,

· minden típusú számítógépes tárolóeszköz célja,

· külső PC-eszközök összetétele és rendeltetése,

a PC fő szerkezeti elemei,

· a számítógép alapvető funkcionális jellemzői.

Számítógép architektúra(Számítógép-architektúra) a számítógép fogalmi felépítése, amely meghatározza a műszaki számítógépes eszközök felépítésének és interakciójának alapelveit. Ebben az esetben a számítógép szerkezeti diagramja, az elemek elérésének módjai és módjai, a számítógépes interfészek felépítése és kapacitása, a regiszterek készlete és elérhetősége, a memória felépítése és címzési módjai, a processzorgép készlete és formátuma. fontosak a parancsok, a megjelenítési módszerek és az adatformátumok, a megszakítások kezelésének szabályai stb. A leghíresebb a számítógépes architektúra: von NemanovskayaÉs Harvard. A von Nemann architektúrában a programokat és az adatokat egy memóriatömbben tárolják, és a Harvard architektúrában egy csatornán továbbítják a processzorhoz, a parancsokat és az adatokat külön tárolják.

Számítógép blokkdiagramja

A személyi számítógép (PC) blokkvázlata az ábrán látható. 7.1.

Rizs . 7.1. PC blokkdiagram

Mikroprocesszor

Mikroprocesszor(MP) egy központi PC-eszköz, amely az összes gépi blokk működésének vezérlésére, valamint információkon aritmetikai és logikai műveletek végrehajtására szolgál. A mikroprocesszor több részből áll:

1. A vezérlőberendezés (CU) a megfelelő időben generál és táplál a gép összes blokkjába bizonyos vezérlőjeleket (vezérlőimpulzusokat), amelyeket az elvégzett művelet sajátosságai és a korábbi műveletek eredményei határoznak meg; létrehozza a végrehajtott művelet által használt memóriacellák címeit, és ezeket a címeket továbbítja a számítógép megfelelő blokkjainak; A vezérlőkészülék referencia impulzussorozatot kap az óraimpulzus-generátortól.

2. Az aritmetikai-logikai egység (ALU) az összes aritmetikai és logikai művelet végrehajtására szolgál numerikus és szimbolikus információkkal (egyes PC-modelleknél egy további matematikai társprocesszor csatlakozik az ALU-hoz a műveletek végrehajtásának felgyorsítása érdekében) .

3. A mikroprocesszoros memória (MPM) a gép következő működési ciklusaiban közvetlenül felhasznált információk rövid távú tárolására, rögzítésére és kiadására szolgál; Az MPP regiszterekre épül, hogy biztosítsa a gép nagy sebességét, mivel a fő memória (RAM) nem mindig biztosítja a nagy sebességű mikroprocesszor hatékony működéséhez szükséges információ írási, keresési és olvasási sebességét. A regiszterek különböző hosszúságú, nagy sebességű memóriacellák (ellentétben az OP cellákkal, amelyek szabványos hossza 1 bájt és kisebb sebességgel rendelkezik).

4. A mikroprocesszoros interfész rendszert úgy tervezték, hogy más PC-eszközökkel kommunikáljon és kommunikáljon velük; tartalmaz egy belső MP interfészt, puffertároló regisztereket és vezérlő áramköröket a bemeneti/kimeneti portokhoz (I/O) és a rendszerbuszhoz.

Felület(interfész) - a számítógépes eszközök párosítására és kommunikációjára szolgáló eszközök összessége, amelyek hatékony interakciót biztosítanak.

Portok vízkimenet (I/O portok) - a PC rendszer interfész elemei, amelyeken keresztül az MP információt cserél más eszközökkel.

Generátor clock impulzus elektromos impulzusok sorozatát generálja, amelyek frekvenciája határozza meg a mikroprocesszor órajel-frekvenciáját. A szomszédos impulzusok közötti időintervallum határozza meg egy ciklus idejét, vagy egyszerűen a gép ciklusát. Az órajel-impulzusgenerátor frekvenciája a személyi számítógép egyik fő jellemzője, és nagymértékben meghatározza működésének sebességét, mivel a számítógépben minden műveletet bizonyos számú óraciklusban hajtanak végre.

Rendszerbusz

A rendszerbusz a számítógép fő interfészrendszere, amely biztosítja az összes eszköz interfészét és kommunikációját egymással. A rendszerbusz a következőket tartalmazza:

· kód adatbusz (CDB), amely vezetékeket és interfész áramköröket tartalmaz az operandus numerikus kódjának (gépi szó) összes bitjének párhuzamos átviteléhez;

· kódcímbusz (ACBA), amely vezetékeket és interfész áramköröket tartalmaz egy fő memóriacella vagy egy külső eszköz bemeneti/kimeneti portjának címkódjának összes bitjének párhuzamos átviteléhez;

· kódolt utasítás busz (IBC), amely vezetékeket és interfész áramköröket tartalmaz utasítások (vezérlőjelek, impulzusok) továbbításához a gép összes blokkjához;

· tápbusz, amely vezetékeket és interfész áramköröket tartalmaz a PC egységek tápellátáshoz való csatlakoztatásához.

A rendszerbusz három irányt biztosít az információátvitelre:

a mikroprocesszor és a fő memória között;

· a mikroprocesszor és a külső eszközök bemeneti/kimeneti portjai között;

· a fő memória és a külső eszközök I/O portjai között (közvetlen memóriaelérési módban).

Minden blokk, pontosabban I/O portjaik azonos módon csatlakoznak a buszhoz a megfelelő egységes csatlakozókon (csatlakozásokon) keresztül: közvetlenül vagy vezérlőkön (adaptereken) keresztül. A rendszerbuszt a mikroprocesszor vezérli vagy közvetlenül, vagy gyakrabban egy további buszvezérlő chipen keresztül, amely a fő vezérlőjeleket generálja. A külső eszközök és a rendszerbusz közötti információcsere ASCII kódok használatával történik.

Fő memória

A főmemória (RAM) az információ tárolására és a gép más egységeivel való gyors cseréjére szolgál. Az OP kétféle tárolóeszközt tartalmaz: csak olvasható memóriát (ROM) és véletlen hozzáférésű memóriát (RAM).

A ROM (ROM - Read Only Memory) megváltoztathatatlan (állandó) program- és referenciainformációk tárolására szolgál; lehetővé teszi, hogy gyorsan csak a benne tárolt információkat olvassa el (a ROM-ban lévő információkat nem módosíthatja);

A RAM (RAM - Random Access Memory) olyan információk (programok és adatok) online rögzítésére, tárolására és olvasására szolgál, amelyek közvetlenül részt vesznek a PC által az aktuális időszakban végzett információs és számítási folyamatban.

A RAM fő előnye a nagy teljesítmény és az a képesség, hogy minden memóriacellát külön-külön elérhet (közvetlen címelérés a cellához). A RAM hátrányaként meg kell jegyezni, hogy a gép áramellátásának kikapcsolása után nem lehet benne információkat menteni (volatilitásfüggés).

A PC-alaplap a főmemórián kívül nem felejtő memória CMOS RAM-mal (Complementary Metal-Oxide Semiconductor RAM) is rendelkezik, amelyet folyamatosan az akkumulátora táplál; információkat tárol a számítógép hardver konfigurációjáról (a számítógépben lévő összes hardverről), amelyet a rendszer minden bekapcsolásakor ellenőriz.

Külső memória

A külső memória a számítógép külső eszközeire utal, és a problémák megoldásához szükséges információk hosszú távú tárolására szolgál. Különösen az összes számítógépes szoftver a külső memóriában van tárolva. A külső memóriát különféle típusú tárolóeszközök képviselik, de ezek közül a leggyakoribbak, amelyek szinte minden számítógépen elérhetők, a blokkdiagramon látható merevlemezek. ( HDD) és rugalmas mágneses lemezek (FHD). Ezeknek a meghajtóknak az a célja, hogy nagy mennyiségű információt tároljanak, rögzítsenek és kérésre információt adjanak ki egy véletlen hozzáférésű memóriaeszközre. A merevlemez-meghajtók és a laposlemez-meghajtók felépítésében, a tárolt információ mennyiségében és a kereséshez, íráshoz és olvasáshoz szükséges időben különböznek. Az optikai lemezmeghajtókat (CD - Compact Disk, DVD - Digital Versatile Disk), a flash meghajtókat és ritkábban a kazettás mágnesszalagos tárolóeszközöket (NCML, streamerek) és a mágneses-optikai lemezmeghajtókat is gyakran használják külső memóriaeszközként. .

Tápegység

Tápegység - önálló és hálózati tápegységrendszereket tartalmazó egység a számítógép számára.

Időzítő

Az időzítő egy gépbe épített elektronikus valós idejű óra, amely szükség esetén automatikusan rögzíti az aktuális pillanatot (év, hónap, óra, perc, másodperc és másodperc töredéke). Az időzítő autonóm áramforráshoz - akkumulátorhoz - csatlakozik, és továbbra is működik, ha a gépet leválasztják az áramforrásról.

Külső eszközök

A számítógépek külső eszközei (ED) a számítástechnikai komplexum legfontosabb elemei, amelyek költsége a PC költségének akár 80-85%-a. Biztosítják a gép interakcióját a környezettel: felhasználókkal, vezérlőobjektumokkal és más számítógépekkel, ezek a következők:

· külső tárolóeszközök (SSD), külső memória;

· felhasználói párbeszéd eszközök;

· információbeviteli eszközök;

· információ-kimeneti eszközök;

· kommunikációs és távközlési eszközök.

A felhasználói párbeszéd eszközei a következők:

· videomonitor (videoterminál, kijelző ) - egy eszköz a számítógépről be- és kimenet információ megjelenítésére;

· beszédbeviteli-kimeneti eszközök, gyorsan fejlődő multimédiás eszközök: mikrofon hangszórórendszerek, „hangegerek” olyan összetett szoftverrel, amely lehetővé teszi az ember által kimondott betűk és szavak felismerését, azonosítását és kódolását; hangszintetizátorok, amelyek a digitális kódokat betűkké és szavakká alakítják, hangszórókon (hangszórókon) vagy számítógéphez csatlakoztatott hangszórókon keresztül reprodukálják.

Az információbeviteli eszközök a következők:

· billentyűzet - egy eszköz szám-, szöveg- és vezérlési információk PC-be való kézi bevitelére;

· grafikus táblák (digitalizálók) - grafikus információk és képek kézi bevitelére szolgáló eszközök, speciális mutató (toll) mozgatásával a táblagépen; amikor mozgatja a tollat, a rendszer automatikusan beolvassa a helyének koordinátáit, és ezek a koordináták bekerülnek a számítógépbe;

· szkennerek (olvasógépek) - papír- és filmhordozókról történő automatikus olvasásra, valamint géppel írt szövegek, grafikonok, képek, rajzok PC-re történő bevitelére szolgáló berendezések;

· célmegjelölő eszközök (grafikus manipulátorok), amelyek grafikus információk megjelenítésére szolgálnak a képernyőn a kurzor képernyőn való mozgásának vezérlésével, majd a kurzor koordinátáinak kódolásával és a PC-be történő bevitelével (joystick - kar, egér, hanyattegér - labda keretben, fénytoll stb.) d.);

· érintőképernyők - egyedi képelemek, programok vagy parancsok bevitelére a képernyőről a számítógépre.

Az információs kimeneti eszközök a következők:

· nyomtatók - Nyomtatóeszközök információk papírra vagy filmre való rögzítésére;

· plotterek (plotterek) - grafikus információk (grafikonok, rajzok, rajzok) PC-ről papírra történő kiadására szolgáló eszközök.

A kommunikációs és telekommunikációs eszközöket a következőkre használják:

csatlakozások eszközökkel és egyéb automatizálási berendezésekkel (interfész-adapterek, adapterek, digitális-analóg és analóg-digitális átalakítók stb.);

PC csatlakoztatása kommunikációs csatornákhoz, más számítógépekhez és számítógépes hálózatokhoz (hálózati interfész kártyák és kártyák - hálózati adapterek, „csatlakozások”, adatátviteli multiplexerek, modemek - modulátorok/demodulátorok). A hálózati adapter különösen a számítógép külső interfészére utal, és arra szolgál, hogy azt egy kommunikációs csatornához csatlakoztassa más számítógépekkel való információcsere céljából, amikor számítógépes hálózat részeként működik. A modemet leggyakrabban hálózati adapterként használják.

A multimédia (multimédia, multimédia) olyan hardver- és szoftverkészlet, amely lehetővé teszi a személy számára, hogy különféle természetes környezetben kommunikáljon a számítógéppel: hang, videó, grafika, szöveg, animáció stb. A multimédia magában foglalja a beszédbeviteli eszközöket és a beszédkimeneti eszközöket. ; mikrofonok és videokamerák, akusztikus és videolejátszó rendszerek erősítőkkel, hangszórókkal, nagyméretű videoképernyőkkel; hang- és videoadapterek, videorögzítő kártyák, amelyek videomagnóról vagy videokameráról rögzítik a képeket, és beviszik egy számítógépbe; már elterjedt szkennerek, amelyek lehetővé teszik a nyomtatott szövegek és rajzok automatikus számítógépbe bevitelét; végül külső, nagy kapacitású tárolóeszközök optikai lemezeken, amelyeket gyakran hang- és képinformációk rögzítésére használnak.

1. Fogalom, ítélet, következtetés.

A logika a gondolkodási folyamat belső szerkezetét vizsgálja, amely az olyan természetben előforduló gondolkodási formákban valósul meg, mint pl koncepció, kijelentés és következtetés.

A gondolkodás mindig fogalmak, kijelentések és következtetések révén valósul meg.

A fogalom egy olyan gondolkodási forma, amely azonosítja egy objektum vagy tárgyak osztályának lényeges jellemzőit, lehetővé téve azok megkülönböztetését másoktól.

Lényegesek az olyan jellemzők, amelyek külön-külön is szükségesek, és ezek együttesen elegendőek ahhoz, hogy egy adott objektumot az összes többitől megkülönböztessünk, és általánosítást lehessen tenni homogén objektumok halmazba vonásával.

Példák a fogalmakra:

Egyetlen fogalmak: Európa legmagasabb hegye, ez az asztal, Moszkva stb.

Általános fogalmak: szépség, fém, kedvesség, butaság, erdő, csapat stb.

Absztrakt fogalmak: súly, merevség, szín, univerzum, emberiség stb.

Sajátos fogalmak: kör, ház, láng, csata stb.

Bármely fogalom jellemző tartalom és hangerő.

A fogalom hatóköre azon objektumok összessége, amelyekhez a fogalom kapcsolódik.

A kijelentés a körülötted lévő világ megértésének megfogalmazása. Az állítás egy kijelentő mondat, amelyben valamit megerősítenek vagy tagadnak. Egy állításról meg lehet mondani, hogy igaz vagy hamis. Oroszul az állításokat kijelentő mondatok fejezik ki:

Alupka Palace itt található: Krím.

Kashcsej, a Halhatatlan fukar és kapzsi.

Oroszul az állításokat kijelentő mondatok fejezik ki:

a matematikai logikában olyan állítás, amelynek igazsága (általános esetben) a benne szereplő változók értékétől függ.

A következtetés egy olyan gondolkodási forma, amelynek segítségével egy vagy több ítéletből új ítélet születhet.

Az érvelés tények, általános rendelkezések és következtetések láncolata. A következtetés egy átmenet az érvelés (feltételezések vagy feltételek) előtti információinkról a következtetésekre. A valódi premisszákból történő következtetés helyes módja mindig igaz következtetésekhez vezet.

Példák az induktív érvelésre:

Helyesek-e a levont következtetések?

1)
1
– páratlan és prímszám,
3
– páratlan és prímszám.
5 – páratlan és prímszám
Következtetés: minden páratlan szám prímszám.

2). 1=1,1+3=4,1+3+5=9,1+3+5+7=16,1+3+5+7+9=25 stb.

Következtetés: bármely K szám négyzete egyenlő a K első páratlan szám összegével.

3). Fe, Cu, Zn. Pt – szilárd anyagok
Következtetés: minden fém szilárd.

4) Argentínában, Ecuadorban, Venezuelában spanyolul beszélnek.
Következtetés: minden latin-amerikai ország spanyol nyelvű

2. Logikai algebra

– meghatározza az állítások rögzítésének, értékszámításának, egyszerűsítésének, átalakításának szabályait.

A logikai algebrában az állításokat betűkkel jelöljük és hívjuk logikai változók.

Ha az állítás igaz, akkor a megfelelő logikai változó értékét eggyel jelöljük ( A = 1 ), és ha hamis – nulla ( IN = 0 ).

0 és 1 hívják logikai értékeket.

Az állítások lehetnek egyszerűek vagy összetettek.

Az állítás ún egyszerű, ha egyetlen része sem önmagában állítás.

Az összetett (összetett) utasításokat egyszerű állításokból állítjuk össze logikai műveletek segítségével.

Logikai műveletek.

A konjunkció egy logikai művelet, amely mindkét utasítást egy új utasításhoz társítja, amely az igaz akkor és csak akkor mindkét eredeti állítás igaz.

Más név: logikai szorzás .

A diszjunkció egy logikai művelet, amely mindkét utasítást egy új utasításhoz társítja, amely az hamis akkor és csak akkor mindkét eredeti állítás hamis.

Más név: logikus kiegészítés.

Megnevezések: V, |, VAGY, +.

Az inverzió egy logikai művelet, amely minden utasítást egy új utasításhoz társít, amelynek jelentése ellentétes az eredetivel.

Más név: logikai tagadás.

Megnevezések: NEM, ¬ , ¯ .

Az implikáció egy logikai művelet, amely mind a két egyszerű utasítást egy összetett utasításhoz társítja, ami az hamis akkor és csak akkor, ha a feltétel (első állítás) igaz, és a következménye (második állítás) hamis.

Természetes nyelven – „Ha A, akkor B”;

Kijelölés

A logikai ekvivalencia (ekvivalencia) olyan logikai művelet, amely mindkét állítást egy összetett utasításhoz társítja, amely igaz akkor és csak akkor mindkét kezdeti állítás egyszerre igaz vagy egyidejűleg hamis.

Természetes nyelven – „Akkor és csak akkor és abban és csak abban az esetben”;

Megnevezés – ↔

A logikai műveletek prioritása a következő:

inverzió, konjunkció, diszjunkció, implikáció, ekvivalencia

A 10. osztályba 50 tanuló jár. A matematikából 36-an, a fizikából 20-an szabadon választhatnak, mindkét szabadon 10-en iratkoznak be.

Hány diák nem vesz részt a választható tárgyakon?

36 – 10 = 26 – a matematikára járó, fizikára nem járó tanulók száma.

20 + 26 = 46 – a matematikára vagy fizikára járó tanulók száma.

50 – 46 = 4 – azon hallgatók száma, akik nem járnak szabadon választható tantárgyakra.

3. Igazságtáblázatok felépítése összetett állításokhoz.

A logikai műveletek tulajdonságai.

Referencia anyag:

Logikai feladatok megoldása logikai kifejezések egyszerűsítésével.

Az atlétikai versenyen Andrei, Borya, Serezha és Volodya az első négy helyet szerezték meg. De amikor a lányok emlékezni kezdtek, hogyan oszlottak el ezek a helyek a nyertesek között, a vélemények megoszlottak:

Dasha: Andrey volt az első, Volodya pedig a második.

Galya: Andrey a második, Boris a harmadik.

Lena: Borya a negyedik, Serjozsa pedig a második.

Köztudott, hogy minden lány tévedett az egyik kijelentésében, és igaza volt a másikban. Melyik fiú melyik helyet foglalta el?

Vezessük be a következő jelölést:

4. A számítógép logikai alapelemei

Egy diszkrét konvertert, amely a bemeneti bináris jelek feldolgozása után olyan kimeneti jelet állít elő, amely az egyik logikai művelet értéke, az ún. logikai elem.

Az alapvető logikai kapuk három alapvető logikai műveletet hajtanak végre:

  • „AND” logikai elem (kötőszó) – logikai szorzás;
  • „OR” logikai elem (disjunktor)
  • – logikai összeadás;
  • logikai elem „NOT” (inverter)
  • – logikai tagadás.

Bármely logikai művelet három alapelem kombinációjaként ábrázolható, így alapvető logikai elemekből bármilyen információt feldolgozó és tároló számítógépes eszköz összeállítható.

A számítógép logikai elemei olyan jelekkel működnek, amelyek elektromos impulzusok.

Van egy impulzus - a jel logikai értéke 1, semmi impulzus- jelentése 0.

Elektronikus áramkör elemzés.

Milyen jelnek kell lennie a kimeneten minden lehetséges jelkészlethez a bemeneteken?

Megoldás. Az A és B bemeneteken lévő jelek összes lehetséges kombinációját beírjuk az igazságtáblázatba. Kövessük nyomon az egyes jelpárok átalakulását, amint azok áthaladnak a logikai elemeken, és írjuk be az eredményt egy táblázatba.

Az elkészült igazságtáblázat teljes mértékben leírja a vizsgált elektronikus áramkört.

Az inverter a B bemenetről kap jelet. A csatlakozó az A bemenettől és az invertertől kap jeleket. Tehát F = A és ¬ B

Félösszeadó és összeadó.

A processzor aritmetikai-logikai egysége (ALU) tartalmazza
olyan elemeket, mint az összeadók. Lehetővé teszik bináris számok hozzáadását.
Összeadás egy számjegyen belül (az esetleges bejövők figyelembevétele nélkül
nevű áramkörrel valósítható meg
félösszeadó. A félösszeadónak két bemenete (összeadásokhoz) és két kimenete van
(az összegre és az átvitelre).

A félösszeadótól eltérően az összeadó figyelembe veszi az előzőről való átvitelt
számjegy, ezért nem két, hanem három bemenete van.

(trigger retesz, trigger) egy olyan eszköz, amely lehetővé teszi az információk emlékezését, tárolását és olvasását.

Minden trigger 1 bit információt tárol, két stabil állapot egyikében lehet – logikai „O” vagy logikai „1”.

A trigger szinte azonnal képes átváltani egyik elektromos állapotból a másikba és fordítva

A trigger logika így néz ki:

A trigger bemenetek megfejtése a következőképpen történik - S (az angol Set - telepítésből) és R (Reset - reset). Arra használják, hogy a flip-flopot egy állapotba állítsák, és nullára állítsák vissza. Ebben a tekintetben az ilyen triggert RS triggernek nevezik.

A Q kimenetet közvetlennek, az ellenkezőjét inverznek nevezzük. A direkt és inverz kimenetek jeleinek természetesen ellentétesnek kell lenniük.

A határozottság kedvéért legyen egyetlen jel az S bemenetre, és R=0. Ekkor a Q kimenetre csatlakoztatott másik bemenet állapotától függetlenül (más szóval, függetlenül a flip-flop előző állapotától), az áramkör legfelső NOR eleme 0-t kap a kimeneten (a VAGY 1, de inverze 0). Ez a nulla jel egy másik logikai elem bemenetére kerül továbbításra, ahol a második R bemenet is 0-ra van állítva. Ennek eredményeként két bemeneti nullán végrehajtott logikai VAGY-NEM műveletek elvégzése után ez az elem 1-et kap a kimeneten, amit a megfelelő bemenetnél visszatér az első elemhez. Az utolsó pont nagyon fontos: most, hogy ez a bemenet 1-re van állítva, a másik bemenet (S) állapota már nem játszik szerepet. Más szóval, még ha most eltávolítjuk is az S bemeneti jelet, a szintek belső eloszlása ​​változatlan marad.

Q = 1 óta a trigger egyetlen állapotba került, és amíg új külső jelek nem érkeznek, fenntartja azt. Tehát, amikor jelet adunk az S bemenetre, a trigger stabil egyetlen állapotba kerül.

Az R = 1 és S = 0 jelek ellentétes kombinációjával az áramkör teljes szimmetriája miatt minden pontosan ugyanúgy történik, de most a Q kimenet már 0-nak bizonyul. Más szóval, amikor egy jel az R-triggerre kerül, akkor visszaáll stabil nulla állapotba.

Így a jel vége mindkét esetben R = 0 és S = 0 értékre vezet.



Részesedés