Informatica. Conversia expresiilor booleene

Lucrarea propusă va examina în detaliu transformarea expresiilor logice. În plus, vă sugerăm să luați un curs scurt pe logică, unde vor fi examinate principalele legi și concepte. Transformarea expresiilor logice este un proces destul de complicat, dacă nu vă cunoașteți cu toate nuanțele subiectului însuși.

Cursul de informatică va părea simplu și plăcut dacă citiți cu atenție acest articol și cunoașteți regulile și legile transformării, rezolvarea problemelor și elaborarea schemelor. Vă sugerăm să începeți chiar acum.

Stiinta Logica

conversia expresiilor logice

Fundamentele logicii - acesta este un subiect destul de dificil, se scriu o mulțime de volume. În acest articol, vom analiza elementele de bază și legile transformării expresiilor logice, adică informațiile vor fi maxim comprimate și concentrate. Acest lucru este necesar pentru a lua în considerare tehnologiile computerizate și proiectarea circuitelor.

Pentru a începe cu ceea ce logica și ceea ce este pentru? Este important de remarcat faptul că aceasta este o știință care analizează formele și metodele de motivare. Tot ceea ce vedem, auzim sau nu, ascultă legile. Noi arunca mingea de la o înălțime - el zboară mereu în jos ca supus legilor fizicii. Brew cafeaua de dimineață, se adaugă zahăr și uscate substanțe se dizolvă imediat în apă, cu respectarea legilor fizicii. Suntem într-o conversație cu prietenii, împărtășesc planurile lor: „Dacă eu sunt bine protejate de muncă, veți obține diploma“, „Eu nu am primit pentru a ajunge cu mașina, în timp ce este reparat.“ Fără să observe, vom construi toate conversațiile noastre, aceasta se bazează pe logica și legile sale. Deci, de ce știința este logica? Desigur, știind legile sale, va fi capabil să determine cu exactitate rezultatul unui eveniment, deoarece acestea nu trebuie să acționeze în mod aleatoriu și risc.

Deși gândirea este un proces destul de complex, totuși ea poate fi împărțită în anumite componente, mai precis, forme (prin care are loc exprimarea gândirii):

  • concepte;
  • declarații;
  • raționament;
  • probe.

Apoi, vă sugerăm să mergeți la funcții logice și să convertiți expresii logice. Informatica va fi distractivă și destul de simplă pentru dvs. dacă citiți cu atenție acest articol.

Funcții logice

logic și reguli logice pentru transformarea expresiilor logice

Acum ne propunem să ne cunoaștem funcțiile logice. Adesea, în biletele de examinare uniformă de stat din partea B, există probleme cu transformarea expresiilor logice în segmente numerice. Ele nu pot fi rezolvate fără a cunoaște funcțiile logicii.

Care este principala sarcină a acestei științe? Desigur, studiul expresiilor logice (complexe și simple). Cum apare o declarație complexă? Prin fuziunea simplă, ce se întâmplă prin pachete, care sunt numite în mod obișnuit funcții.

În total, puteți distinge cinci pachete:

  • inversiune (adică negație, cu ajutorul acestei funcții se poate obține o declarație, opusul căruia: merg la cinema astăzi - nu merg la cinema astăzi);
  • disjuncție (această funcție este adesea menționată plus ca logică, pentru a face clar, da un simplu exemplu de viață: „Dacă am o durere de cap sau de stomac, atunci nu voi merge la școală“ - această expresie este adevărată, dacă se ia în considerare cel puțin una dintre cerințele );
  • conjuncție (adesea denumită multiplicare logică: "dacă mă spăl vase și fac lecții, atunci voi ieși cu prietenii" - această expresie va fi adevărată dacă se iau în considerare două condiții);
  • implicarea (în logica acestei funcții se numește urmând, din păcate, este imposibil de a ilustra funcția de fals situatsiey- vitală va fi dacă ceva a vrut să facă, dar nu a funcționat, în alte cazuri, funcția va fi adevărat);
  • echivalența (sau egalitatea, dacă două afirmații sunt adevărate sau false, atunci ca rezultat vom obține adevărul).

Este important de observat că în domeniul informaticii orice expresie simplă este marcată de litera majusculă a alfabetului latin. Apoi, trebuie să vă amintiți tabelul de adevăr pentru fiecare funcție. Rețineți că nu este necesar să o învățați, va fi suficient doar să înțelegeți funcțiile.

Tabele de adevăr

conjuncție

Prima expresie (A)

A doua expresie (B)

Rezultatul (C)

L

L

L

și

L

L

L

și

L

și

și

și

despărțire

A

În

C

L

L

L

și

L

și

L

și

și

și

și

și

inversiune

A

În

și

L

L

și

implicație

A

În

C

L

L

și

și

L

L

L

și

și

și

și

și

echivalență

A

În



C

L

L

și

și

L

L

L

și

L

și

și

și

În plus, este important să remarcăm faptul că minciuna în logică este notată cu numărul 0 și expresia adevărată cu numărul 1. Pentru comoditate, puteți folosi atât semne plus cât și minus. Acordați atenție faptului că expresiile false și adevărate din tabelele propuse sunt indicate prin literele "L" și, respectiv, "I".

clădire

Înainte de a trece la transformarea expresiilor logice, este necesar să ne cunoaștem chiar construcția lor. Orice compus sau, după cum sa spus mai înainte, o expresie complexă constă din două părți:

  • Variabilele, care sunt marcate cu majuscule ale alfabetului latin;
  • Semnele care denotă o funcție și conectează expresii simple între ele.

Cum de a face o expresie în limba de algebră a logicii? Pentru aceasta trebuie să faceți mai multe lucruri:

  • pentru a împărți întreaga propoziție în expresii simple;
  • desemnați aceste elemente cu litere;
  • a face distincția între expresiile simple;
  • scrie expresia rezultată folosind simboluri speciale ale algebrului logicii.

Propunem să luăm în considerare un exemplu simplu: (Z * F = 5 sau Z * F = 4) ȘI (Z * F nu este egal cu 5 sau Z * F nu este 4). În loc de variabile, înlocuiți 2. Apoi vom obține expresia (4 = 5 sau 4 = 4) și (4 nu este 5 sau 4 nu este 4). După operațiile efectuate, trebuie să selectăm expresiile și relațiile dintre ele, ar trebui să fie după cum urmează: (Z sau F) și (nu Z sau nu F). După aceasta, trebuie să convertim această înregistrare, înlocuind sensul afirmațiilor. Dacă expresia este corectă, atunci trebuie să înlocuiți 1, altfel - 0. Obținem: G = 1 și 1. După calculele necesare, obținem rezultatul: G = 1, adică expresia complexă este adevărată.

legii

Acum vă sugerăm să luați în considerare legile logicii și regulile pentru transformarea expresiilor logice. Este important să menționăm că orice expresie logică poate fi transformată într-o altă expresie logică prin legile logicii. Acum vom analiza detaliat toate cele zece reguli.

Primul din lista noastră este "legea dublei negări". Aceasta este expresia "nu (nu A)" va fi egală cu expresia "A".

Legea comunicativă este, de asemenea, în matematică, este ușor de amintit. A + B = B + A, A * B = B * A.

Legea asocierii - (D + E) + F = (D + F) + E, aceeași lege se aplică înmulțirii logice.

Legea distributivă este o deschidere elementară a parantezelor. Exemplu: (A + B) * C = (A * C) + (B * C).

De Morgan legea lui: nu (A + B) = * Nea Neuve, nu (A * B) + = HEA HEB, HEA AimplikatsiyaV = + B, nu (AimplikatsiyaV) = ​​A * Neuve.

Idempotency: X + X = X sau C * C = C.

Eliminarea constantelor: X + 1 = 1, X + 0 = X - X * 1 = X, X * 0 = 0.

Apoi distingem legea contradicției, urmând-o, putem afirma următoarea egalitate: B * nu B = 0.

În logică există, de asemenea, o lege de absorbție, care în practică arată astfel: C + (C * D) = C sau C * (C + D) = C.

De asemenea, este important ca pentru transformarea expresiilor logice să se țină cont de legea excluderii: (C * E) + (nu C * E) = E sau (C + E) * (nu C + E) = E.

Dacă luați în considerare și rețineți cu atenție toate legile prezentate în această secțiune, atunci problemele legate de transformare nu vor apărea niciodată. La fel de important este și ordinea execuției funcțiilor. Acordați mai multă atenție la acest punct, distribuirea corectă a ordinii funcțiilor reprezintă cheia soluției corecte a problemei.

Reguli și legi ale transformării și simplificării, ordinea de executare a acțiunilor cu exemple

Legile și regulile logice pentru transformarea expresiilor logice sunt foarte simplu de reținut. Dacă vă îndoiți de veridicitatea a cel puțin una dintre ele, verificați-vă. Pentru a face acest lucru, trebuie să petreceți 10 minute din timpul dvs. și să compilați tabelele de adevăr pentru a obține un răspuns.

Acum, sugerăm să luăm în considerare legile și regulile logice pentru transformarea expresiilor logice pe exemple specifice. Acest lucru este necesar pentru a consolida în mod corespunzător cunoștințele. Acordați o atenție deosebită succesiunii acțiunilor.

Ne sunt date: C + (nu C * E). Este necesară simplificarea expresiei. Primul pas este să deschideți parantezele. Atunci vom obține expresia: (C + notC) * (C + E). Observăm imediat că adăugarea logică a două declarații opuse ne dă adevărul. Ce obținem ca rezultat: 1 * (C + E). Din nou, deschideți parantezele: (1 * C) + (1 + E). Acum încă o dată ne amintim legile și obținem răspunsul: C + E.

După cum ați văzut deja, totul este simplu. Pentru a rezolva astfel de probleme, este necesar să ne amintim legile care au fost enumerate în ultima secțiune. Propunem o soluție sarcini logice, deoarece această sarcină este deja un pic mai complicată decât cea anterioară.

Rezolvarea problemelor

Ne-am familiarizat cu elementele de bază ale științei numite "logică", am analizat pe scurt transformarea expresiilor logice, legile enumerate. Cele mai complexe sarcini cu crearea de expresii logice sunt sarcini. Este important de remarcat că acestea pot fi rezolvate prin raționament, convertirea unei expresii sau prin utilizarea unei metode tabulare. Vă sugerăm să luați în considerare unul dintre ele în detaliu.

conversia expresiilor logice

Trei băieți (Cyril, Anton și Kostya) se aflau în aceeași cameră. Dintr-o data, o mama din bucatarie aude sunetul unei pahare sparte. Am fugit la fiii mei și am întrebat: "Cine a făcut asta?" Răspunsul a fost: Cyril a spus că nu Kostya a rupt paharul, dar Anton Anton a spus că Kostya a făcut-o, iar Cyril-Kostya nu susține că Anton nu este vinovatul. Știm că unul dintre băieți ia spus mamei o minciună. Trebuie să aflăm cine a spart paharul.

Logic, răspunsurile lui Chiril și Anton se contrazic între ele, la fel ca Chiril și Kostya. Prin urmare, ele nu pot fi adevărate. Facem următoarea concluzie - Anton și Kostya au spus adevărul, iar Cyril este vinovatul cărnii sparte. Aceasta a fost metoda de reflecție utilizată. Acum ne vom uita la soluția aceleiași probleme, numai cu ajutorul metodei de transformare a expresiei. În primul rând, introducem abrevieri:

  • KR - paharul este rupt de Cyril;
  • A - paharul este rupt de Anton;
  • K este vinovatul lui Kostya.

Răspunsurile băieților:

  • Cyril - neK, A;
  • Anton - non-RK, K;
  • Kostya nu este.

Propunem să formulăm o expresie dacă Kostya a mințit, iar Cyril și Anton au spus adevărul: neK * A = 1 și K * nonRK = 1 și A = 1. Transformând expresia, obținem o contradicție: 0 = 1. Presupunerea noastră este incorectă, merită verificată alte ipoteze.

Dacă presupunem că Cyril și-a mințit, și Anton și Kostya spus mamei ei adevărul, atunci următoarea expresie: K * Nea = 1 și K = 1 * Necro și Nea = 1. Simplificând expresia, obținem KP * notA * notK = 1. Acest lucru sugerează că presupunerea noastră a fost corectă, într-adevăr, Cyril a spart paharul și a mințit-o pe mama sa.

Metoda tabelară de soluție

Legile considerate ale logicii și transformarea expresiilor logice, desigur, ne-au ajutat să facem față sarcinii prezentate în secțiunea anterioară. Acum vă sugerăm să luați în considerare metoda tabelului de rezolvare a problemei următoare.

Dmitry, Anatoly și Lyudmila sunt fani ai corespondenței poștale, știm că toată lumea trăiește în diferite părți ale lumii și are hobby-uri diferite. Determinați cine trăiește în ce oraș și ce este dependent. Se cunosc următoarele fapte:

  • Dmitri nu fusese niciodată la Paris, iar Ludmila era la Roma;
  • cel care trăiește în Paris nu-i plac filmele;
  • o persoană care locuiește în Roma, este angajată în voce;
  • Lyudmila este dezgustat de balet.

Pentru a rezolva problema, trebuie să compilați o masă mică.

Franța

Italia

statele Unite ale Americii

voce

balet

film

Dmitry

Anatoli

Lyudmila

Mai mult decât atât, este necesară o atenție maximă. Tot ceea ce citiți în această condiție ar trebui să se reflecte în acest tabel. Pe măsură ce umplutura devine clară, următoarele vor deveni clare:

  • Dmitri trăiește în Roma și este implicat în voce;
  • Anatoly locuiește în Paris și adesea participă la balet;
  • Ludmila este un mare fan al cinematografiei, care locuiește în SUA.

Acordați-vă din nou atenția asupra faptului că adevărată expresie este indicat de numărul 1, iar cel fals este 0. Completând tabelul cu aceste simboluri, veți găsi rapid răspunsul la întrebarea care vă interesează.

Mikroskhematika

Exemple de conversie a expresiilor logice, pe care le-am considerat, sunt destul de complexe la prima vedere. Pe biletele examenului de stat unificat, condiția poate fi dată sub forma unui microcircuit.

Este important să știm că toate dispozitivele digitale se bazează pe elemente logice, adică anumite dispozitive care realizează o singură funcție logică.

formule pentru conversia expresiilor logice

Am vorbit deja despre o astfel de funcție ca o conjuncție (multiplicare logică). Este de obicei indicat printr-un simbol . Această funcție este necesară pentru corelarea mai multor valori. În imagine veți vedea schema de multiplicare logică.

legile logicii și transformarea expresiilor logice

Funcția de disjuncție este necesară pentru implementarea disjuncției unor valori de intrare. Atunci când scrieți o expresie, această funcție este de obicei indicată de simbolul Ú. Imaginea arată schema.

transformarea expresiilor logice ale problemei

Funcția de inversiune servește drept convertorul unei expresii la contrariul. În figură, vedeți cum arată schema "nu".

Un exemplu de simplificare a formulei # 1

Regulile considerate pentru transformarea expresiilor logice trebuie stabilite în practică. În urmărirea acestui scop, propunem să rezolvăm în mod independent două exemple de complexitate medie și să le comparăm cu rezultatele din această secțiune a articolului.

Dacă nu ați memorat încă formulele pentru conversia expresiilor logice, vă puteți face un mic "memento". Veți vedea că în curând nu o veți urmări.

Exemplu: (X + T) * (notX + T) * (M + notT). Nu scrieți orbește, încercați să rezolvați singur exemplul.

În timpul simplificării vom obține următoarele intrări: T * (M + nu) = (T * M) + (T * nr) = (T * NTU) + 0 = (T + 0) * (M + 0) = T * M.

După cum puteți vedea, dintr-o expresie complexă destul de lungă și greoaie am obținut un scurt T * M. Dacă nu ați reușit să rezolvați singur acest exemplu, reveniți la punctul în care am considerat transformarea expresiilor logice, a sarcinilor.

Un exemplu de simplificare a formulei # 2

conversia exemplelor de expresii logice

În această secțiune, vă sugerăm să simplificați expresia (E + H) * (E + K). Să analizăm soluția pas cu pas. Mai întâi de toate, trebuie să deschidem brațele, să ne amintim cursul matematicii inițiale. Ca rezultat, obținem următoarea expresie: E * E + E * K + H * E + H * K. Mai mult, observăm că în expresia rezultată există o parte din E * E, ne reamintim legea idempotenței și transformăm notația: E + E * K + H * E + H * K. Următorul pas este transformarea părții E + E * K, folosind bracketingul variabilei E și proprietatea: A + 1 = 1. Obținem expresia: E + H * E + H * K. Procedăm în mod similar cu ultimul punct și îl scoatem din parantezele E. Ca rezultat, primim răspunsul: E + H * K.

Fiți atenți la faptul că sarcinile par complicate doar la prima vedere. Pentru a le "da click pe semințe", trebuie doar să înveți legile de bază ale logicii.

Distribuiți pe rețelele sociale:

înrudit
Informatică: tabelul de adevăr. Construirea meselor de adevărInformatică: tabelul de adevăr. Construirea meselor de adevăr
Cum să simplificați expresiile logice: funcții, legi și exempleCum să simplificați expresiile logice: funcții, legi și exemple
Algoritmul pentru construirea tabelelor de adevăr ale expresiilor logiceAlgoritmul pentru construirea tabelelor de adevăr ale expresiilor logice
Tabelul de echivalență, exemplu de rezolvare a unei probleme logice cu o operațiune de echivalențăTabelul de echivalență, exemplu de rezolvare a unei probleme logice cu o operațiune de echivalență
Legile fundamentale ale logiciiLegile fundamentale ale logicii
Tipuri de concepte: logică pentru toțiTipuri de concepte: logică pentru toți
Pătrat logic sau Excepție de a treiaPătrat logic sau Excepție de a treia
Inferența este o judecată rezonabilăInferența este o judecată rezonabilă
Boala algebra. Algebra logicii. Elemente ale logicii matematiceBoala algebra. Algebra logicii. Elemente ale logicii matematice
Cele mai simple operații logice din domeniul informaticiiCele mai simple operații logice din domeniul informaticii
» » Informatica. Conversia expresiilor booleene