Calculatoare moderne bazate pe "vechiul"computerele electronice, ca principii de bază ale muncii se bazează pe anumite postulate. Ele sunt numite legile algebrei logice. Pentru prima dată, o astfel de disciplină a fost descrisă (bineînțeles, nu atât de detaliată ca în forma modernă) de către învățatul antic grec Aristotel.
Reprezentarea o ramură separată a matematicii care studiază calculul propozițional, algebra logicii are o serie de constatări și concluzii bine aliniate.
Pentru a înțelege mai bine acest subiect, vom analiza concepte care ne vor ajuta să învățăm legile algebrei logicii în viitor.
Poate că termenul principal în disciplină -declarație. Aceasta este o declarație care nu poate fi atât falsă, cât și adevărată. El este întotdeauna caracterizat de doar una din aceste caracteristici. Se acceptă convențional să se atribuie adevărul la 1, falsitatea la 0 și propoziția însăși să fie numită o literă latină: A, B, C. Cu alte cuvinte, formula A = 1 înseamnă că A este adevărată. Cu afirmații puteți acționa într-o varietate de moduri. Pe scurt, ne vom uita la acțiunile care pot fi întreprinse cu ei. De asemenea, observăm că legile algebrei logicii nu pot fi învățate fără a cunoaște aceste reguli.
1. Disjuncție două declarații - rezultatul operațiunii "sau". Poate fi fie falsă, fie adevărată. Se folosește simbolul "v".
2. Conjuncție. Rezultatul unei astfel de acțiuni, realizat cu două afirmații, va fi o nouă exprimare, adevărată doar dacă ambele declarații inițiale sunt adevărate. Operațiunea "și", se utilizează simbolul "^".
3. Implicația. Operația "dacă A, apoi B". Rezultatul este o declarație care este falsă numai dacă A este adevărată și F este falsă. Este folosit caracterul "->".
4. Echivalența. Operația "A și numai atunci B, când". Această afirmație este adevărată în cazul în care ambele variabile au aceleași estimări. Se folosește simbolul "<->".
Există, de asemenea, o serie de operațiuni apropiate de implicare, dar acestea nu vor fi luate în considerare în acest articol.
Acum, să analizăm în detaliu legile fundamentale ale algebrului logicii:
1. Comutative sau relocative afirmă că schimbarea locurilor de termeni logici în operațiuni de conjuncție sau disjuncție asupra rezultatului nu afectează.
2. Asociativ sau asociativ. Conform acestei legi, variabilele în conjuncții sau operațiunile de disjuncție pot fi grupate împreună.
3. Distributive sau distributive. Esența legii este că aceleași variabile în ecuațiile pot fi scoase din paranteze, nu se schimba logica.
4. Legea lui De Morgan (inversiune sau negare).Negarea operației de conjuncție este echivalentă cu disjuncția negării variabilelor inițiale. Negarea de la disjuncție, la rândul ei, este egală cu conjuncția negării acelorași variabile.
5. Negarea dublă. Negarea unei anumite declarații de două ori dă drept rezultat declarația inițială, de trei ori negarea ei.
6. Legea idempotenței arată astfel pentru adăugarea logică: x v x v x v x = x; pentru multiplicare: x ^ x ^ x ^ = x.
7. Legea necontradicției spune: două declarații, dacă sunt contradictorii, nu pot fi adevărate în același timp.
8. Legea excluderii celui de-al treilea. Printre cele două afirmații contradictorii, una este întotdeauna adevărată, cealaltă falsă, a treia nu este dată.
9. Legea absorbției poate fi scrisă în acest fel pentru adăugarea logică: x v (x ^ y) = x, pentru multiplicare: x ^ (xv y) = x.
10. Legea lipirii.Două conjuncții adiacente sunt capabile să adere împreună, formând o conjuncție de un rang mai mic. În plus, variabila, conform căreia conjuncțiile originale au fost lipite, dispare. Exemplu de adăugare logică:
(x ^ y) v (-x ^ y) = y.
Am luat în considerare numai legile cele mai frecvent utilizatealgebra logică, care de fapt poate fi mult mai multă, deoarece ecuațiile logice adesea dobândesc un aspect lung și ornat, care poate fi redus prin aplicarea unui număr de legi similare.
Ca o regulă, pentru confortul de numărare și de identificarese folosesc mese speciale. Toate legile existente ale algebrei logice, tabelul pentru care are structura generală a dreptunghiului grilei, sunt pictate, distribuind fiecare variabilă într-o celulă separată. Cu cât este mai mare ecuația, cu atât este mai ușor să se facă față cu ajutorul tabelelor.
