Moderni računalniki, ki temeljijo na "starih" elektronskih računalnikov, kot so temeljna načela delovanja, ki temeljijo na nekaterih postulatov.Imenujejo se zakone algebre logike.Prva taka disciplina je bila opisana (zagotovo ni tako natančna kot v svoji sedanji obliki), antični grški znanstvenik Aristotela.
Predstavljamo ločena veja matematike, v katerem preučujemo stavčni računa, algebra, logika ima številne dobro usklajena-ugotovitvah in sklepih.
Da bi bolje razumeli predmet, analizira koncepte, ki bodo pomagali tudi v prihodnje, da se naučijo zakone algebre logike.
Morda je glavni izraz v študijskem disciplini - izjava.Ta vrsta izjavo, da ne more biti tako resnična in neresnična.On je vedno značilna le za eno od teh lastnosti.To pogojno sprejeli resnico, da je vrednost 1, Lažnost - 0, in se klic izjavo neke latinske pismu: A, B, C. Z drugimi besedami, formula A = 1 pomeni, da je predlog Res.Z izjavami lahko pridejo na različne načine.Na kratko preučiti ukrepe, ki jih lahko storite z njimi.Opažamo tudi, da so zakoni algebre logike, da je nemogoče, da se naučijo, ne da bi vedel pravila.
1. disjunkcije dveh izjav - rezultat operacije "ali".To so lahko napačne ali res.Uporablja simbol «proti».
2. Konjunkcija. rezultat takih dejanj, storjenih z dveh izjav, bo nova izjava velja le, če sta obe izjave pravi vir.Uporabite "i" simbol "^".
3. posledice. Operacija "če A, potem B".Rezultat je izjava, napačno samo, če je resnica A in B. je nekoč simbol Lažnost «- & gt;».
4. enakovrednost.Operacija «a le, če B, ko je".Ta izjava je res, ko imata obe spremenljivki enako oceno.Uporablja simbol «& lt; - & gt;».
Obstaja tudi vrsta postopkov, podobno pa se razume, ampak v tem članku, ne bodo upoštevane.
zdaj menijo podrobno osnovne zakonitosti algebre logike:
1. komutativna in komutativna navaja, da je sprememba v smislu logične operacije konjunkcije ali disjunkdja v rezultata nobenega učinka.
2. asociativna ali asociativna.V skladu s tem zakonom, lahko spremenljivke pri poslovanju povezavi in disjunkcije združene.
3. Distribucija ali distribucija.Bistvo zakona je, da se iste spremenljivke v enačbah lahko vključeno brez spreminjanja logiko.
4. zakon de Morgan (inverzija ali zavrnitev).Zanikanje operacije je enakovredna konjunkciji disjunkcije negacije prvotnih spremenljivk.Zanikanje disjunkcije, po drugi strani, je enako stičišču zanikanje istih spremenljivk.
5. Double Negative.Zanikanje izjave posledico dvakrat prvotnih izjava trikrat - njeno negacijo.Zakon 6. idempotency
takole logičnega Poleg: xvxvxvx = x;za množenje: x ^ x ^ x ^ = x.
7. Zakon o prepovedi protislovja pravi: dve izjavi, če so protislovne, hkrati pa ne more biti res.
8. Zakon izključena sredini.Med dveh nasprotujočih si izjav enega - Vedno pravim, ostalo - lažne, brez kompromisno rešitev.
9. Zakon absorpcije lahko zapišemo na tak način, da bi logično Poleg: xv (x ^ y) = x, za množenje: x ^ (xvy) = x.
10. Zakon lepljenje.Dve sosednji vezniki so sposobni držati skupaj, tvorijo konjunkcijo nižjega ranga.Ko je ta spremenljivka, pri kateri prvotna veznik lepljena izgine.Primer za logično Poleg:
(x ^ y) proti (-x ^ y) = y.
smo upoštevali le najpogostejše zakone algebre logike, ki je lahko v resnici veliko več, kot se pogosto logične enačbe pridobijo dolgo in bogato okrašen videz, ki ga je mogoče zmanjšati z uporabo več podobnih zakonov.
Kot pravilo, za udobje štetje in prepoznavanje rezultate z uporabo posebnih tabel.Vsi obstoječi zakoni algebre logike tabela, ki ima splošno strukturo pravokotnika omrežja naslikal distribucijo vsaka spremenljivka v ločeni celici.Čim večja je enačba, lažje spopasti z njo s pomočjo tabele.
