Mūsdienu datori, pamatojoties uz "seno" datoriem, kā galvenie darbības principi ir balstīti uz dažiem postulātiem.Tos sauc likumus algebra loģikas.Pirmā šāda disciplīna ir aprakstīts (protams, ne tik detalizēti, cik tā pašreizējā formā) sengrieķu zinātnieks Aristotelis.
Pasniedzot atsevišķa filiāle matemātika, kurā mēs mācīties propositional calculus, algebra, loģika ir vairāki labi līdzināts konstatējumiem un secinājumiem.
Lai labāk izprastu šo tēmu, analizēt jēdzienus, kas palīdzēs nākotnē, lai uzzinātu likumus algebra loģikas.
Varbūt galvenais termins studiju disciplīnas - paziņojums.Šī veida paziņojums, ka nevar būt gan patiess un nepatiess.Viņš vienmēr ir raksturīga tikai vienu no šīm pazīmēm.Tas nosacīti pieņemts patiesību dot vērtību 1, negodīgums - 0, un sevi dēvēt paziņojumu par kādu latīņu burts: A, B, C. Citiem vārdiem sakot, formula A = 1 nozīmē, ka piedāvājums A ir patiess.Ar pārskatu var nonākt dažādos veidos.Īsumā apsvērt pasākumus, kas jūs varat darīt ar tiem.Mēs atzīmējam arī to, ka likumi par algebra loģikas tas ir neiespējami, lai uzzinātu, nezinot noteikumus.
1. atvienojums divi paziņojumi - rezultāts darbību "vai".Tas var būt vai nu nepatiesa vai taisnība.Tas izmanto simbolu «v».
2. kopā. rezultāts šādiem nodarījumiem ar diviem paziņojumiem, būs jauns apgalvojums patiess tikai tad, ja abi apgalvojumi ir patiesi avots.Izmantojiet "i" simbols "^".
3. Ietekme. Operācija "Ja, tad B".Rezultāts ir apgalvojums, viltus tikai tad, ja patiesība A un B. To lieto negodīgums simbolu «- & gt;".
4. līdzvērtību.Darbība «A tad un tikai tad, ja B, kad".Šis apgalvojums ir patiess, kad abi mainīgie ir vienāds novērtējums.Tas izmanto simbolu «& lt; - & gt;".
Ir arī virkne darbību, līdzīgi kā netieši, bet šajā rakstā, tie netiks izskatīti.
tagad uzskata detalizēti pamatlikumus algebra loģikas:
1. commutative un commutative nosaka, ka izmaiņas noteikumos loģiskās operācijas saikļi vai Sadalījumi šajā sakarā nav nekādas ietekmes.
2. asociatīvais vai asociatīvais.Saskaņā ar šo likumu, mainīgie darbību kopā un atšķirība laikā var grupēt.
3. Distribution vai izplatīšana.No likuma būtība ir tāda, ka tie paši mainīgie vienādojumiem var ņemt ārā, nemainot loģiku.
4. de Morgan likums (inversija vai noliegums).Liedzot operācijas ir līdzvērtīgs kopā ar atvienojums noliegums sākotnējiem mainīgajiem.Noliegta atšķirība laikā, savukārt, ir vienāds ar kopā ar nolieguma tiem pašiem mainīgajiem lielumiem.
5. Double negatīvs.Par paziņojumu noliegums rada divreiz sākotnējā paziņojumā trīs reizes - tās noliegums.
6. idempotency likums šādi par loģisku papildus: xvxvxvx = x;pavairošanai: x ^ x ^ ^ x = x.
7. nav pretrunā likums nosaka: divi paziņojumi, ja tie ir pretrunīgi, vienlaikus nevar būt taisnība.
8. izslēgto vidū likums.Starp divām pretrunīgām paziņojumi One - vienmēr ir taisnība, cits - viltus, ne vidusceļu.
9. absorbcijas likums var tikt rakstīts tādā veidā, lai loģiski papildus: XV (x ^ y) = x, pavairošanai: x ^ (xvy) = x.
10. Likums līmēšanas.Divas blakus saikļi spēj turēties kopā, veidojot konjunkcija zemāka ranga.Kad šis ir mainīgs, kurā sākotnējais saistība līmētas izzūd.Piemērs loģisks papildus:
(x ^ y) v (-x ^ y) = y.
Mēs esam apsvēruši tikai visbiežāk likumus algebra loģikas, kas faktiski var būt daudz vairāk, kā tas bieži loģiskie vienādojumi iegūt garš un grezni izskatu, ko var samazināt, piemērojot vairākus līdzīgi likumi.
Kā likums, par ērtībām skaitīšanas un identificēt rezultātus, izmantojot īpašas tabulas.Visi esošie likumi algebra loģikas, tad galda, kas ir vispārējo struktūru tīkla taisnstūra krāsotas, izplatot katru mainīgo atsevišķā šūnā.Jo lielāks ir vienādojums, jo vieglāk tikt galā ar to, izmantojot tabulu.
