computerele moderne bazate pe "vechi" calculatoare electronice, ca principiile de bază de funcționare se bazează pe anumite postulate.Ele se numesc legile algebra logicii.Primul astfel de disciplina a fost descris (cu siguranță nu la fel de detaliat ca și în forma sa actuală) om de știință antică greacă Aristotel.
Prezentarea o ramificație separată a matematicii în care studiem calculul propozițional, algebra, logica are un număr de constatări și concluzii bine aliniate.
Pentru a înțelege mai bine subiectul, analiza concepte care vor ajuta în viitor, să învețe legile algebra logicii.
Poate termenul principal în disciplina de studiu - declarație.Acest tip de afirmație care nu poate fi atât de adevărat și fals.El a caracterizat întotdeauna prin doar una dintre aceste caracteristici.Aceasta a acceptat condiționat adevărul pentru a da o valoare de 1, falsitate - 0, și se numesc o declarație a unor litere latine: A, B, C. Cu alte cuvinte, formula A = 1 înseamnă că propunerea A este adevărat.Cu declarațiile poate veni în mai multe moduri diferite.Ia în considerare pe scurt acțiunile pe care le puteți face cu ele.Remarcăm, de asemenea, că legile de algebra logicii este imposibil să învețe fără a cunoaște regulile.
1. disjuncția a două declarații - rezultatul operației "sau".Acesta poate fi fie false sau adevărate.Se folosește simbolul "v".
2. conjuncție.Rezultatul de astfel de acte, comise cu două declarații, va fi o nouă declarație adevărată numai dacă ambele afirmații sunt adevărate surse.Folosiți "i" simbolul "^".
3. implicare. Operațiunea "în cazul în care A, apoi B".Rezultatul este o declarație, o falsă numai în cazul în care adevărul A și B. Se folosește simbolul falsitate «- & gt;».
4. echivalența.Funcționare «A daca si numai daca B atunci când".Această afirmație este adevărată, atunci când ambele variabile au aceeași evaluare.Se folosește simbolul «& lt; - & gt;».
Există, de asemenea o serie de operațiuni, similar cu implicarea, dar în acest articol, nu vor fi luate în considerare.
considera acum in detaliu legile de bază ale algebrei de logica:
1. Statele comutative și comutative că o schimbare în termeni de operațiuni conjuncțiilor sau disjuncții logică în rezultatul nu are niciun efect.
2. asociativ sau asociativ.Conform acestei legi, variabilele în operațiunile de colaborare și disjuncție pot fi grupate.
3. Distribuirea sau de distribuție.Esența legii este că aceleași variabile în ecuațiile pot fi luate fără a schimba logica.
4. Legea de Morgan (inversiune sau negare).Operațiunile de Negarea este echivalentă cu conjuncția disjuncția negare a variabilelor originale.Negare a disjuncția, la rândul său, este egală cu conjuncția negarea aceleași variabile.
5. negativ dublu.Negarea de o declarație duce la de două ori originalul declarație de trei ori - negarea acestuia.
Act 6. idempotența după cum urmează pentru adăugarea logică: xvxvxvx = X;pentru multiplicare: x ^ x ^ x ^ = x.
7. Legea non-contradicție prevede: două declarații în cazul în care sunt contradictorii, în același timp, nu poate fi adevărat.
8. Legea mijloc exclus.Printre cele două declarații contradictorii unul - întotdeauna adevărat, altfel - fals, există cale de mijloc.
9. Legea de absorbție pot fi scrise în așa fel încât să plus logic: xv (x ^ y) = x, pentru multiplicare: x ^ (xvy) = x.
10. Legea lipire.Două conjuncții adiacente sunt în măsură să rămânem împreună, formând o legătură de rang inferior.Atunci când acest lucru este variabila, în care conjuncția originale lipite dispare.Exemplu pentru plus logică:
(x ^ y) v (-x ^ y) = y.
Am considerat doar cele mai comune legislațiilor algebra logicii, care, de fapt, pot fi mult mai mult, așa cum este adesea ecuațiile logice dobândi aspect lung și ornate, care pot fi tăiate prin aplicarea unui număr de legi similare.
Ca o regulă, pentru comoditatea de numărare și identificarea rezultatelor folosind mese speciale.Toate legile existente ale algebra logicii, tabelului, care are structura generală a dreptunghiului grila pictat de distribuirea fiecare variabilă într-o celulă separată.Cu atât mai mare ecuația, cu atât mai ușor pentru a face față cu ea, cu ajutorul tabelului.
