De logyske operaasje. De basis logika operaasjes

Kompjûter wittenskip as wittenskip fan it sammeljen techniken, organisearjen en ferwurkje in ferskaat oan gegevens begjint te ûntwikkeljen yn 'e midden fan de tweintichste ieu. Hoewol't guon histoarisy tinke dat it begjin fan 'e foarming fan kompjûter wittenskip waard lein yn de 17e ieu, mei de útfining fan de earste meganyske rekkenmasine, de mearderheid assosjearje it mei de leeftyd fan mear avansearre kompjûter technology. Yn de jierren 40 fan de 20e ieu, mei de komst fan 'e earste kompjûters, computer wittenskip hat krigen in nije ympuls oan de ûntwikkeling.

It ûnderwerp fan stúdzje Ynformatika

It wie mei de komst fan 'e earste kompjûters wurden nedich te ûntwikkeljen nije metoaden fan systematization, berekkening en ferwurkjen fan grutte gegevens sets, likegoed as yn' e ûntwikkeling fan algoritmen, dat soe tastean de folsleine mooglikheden fan nije kompjûters. Ynformatika krige de status fan selsstannich wittenskiplike dissipline, en ferpleatst út it fleantúch fan de wiskundige berekkeningen te studearjen computation yn it algemien.

Alle moderne kompjûter wittenskip is basearre op logyske operaasjes. Se kin neamd wurde de fûnemintele komponint. Yn programmearring, computer systemen it begryp fan 'e logika operaasje - It is in hanneling, dy't is opwekt nei it útfieren fan in nij konsept of in wearde foarme op basis fan besteande konsepten. In set fan sokke aksjes kinne ferskille ôfhinklik fan de prosessor elemint te fieren opdrachten. Lykwols, der binne guon operaasjes dy't mien hast alle besteande systemen. Dizze operaasje, dy't wurkje mei ynhâld wearden harsels, lykas ûntkenning, of dyjingen dy't feroarje de kwantitative typearring begrippen - foegjen, subtract, fermannichfâldigje, divide.

Operands fan logyske operaasjes

Sûnt de algebra logika betsjut wurk op abstrakte begripen, dan as operands alle logyske operaasjes binne de generalisearre gegevens typen. Klassike eleminten, wurket mei algebra oersjoggen binne útspraken, falsk of wier. De elektroanika en programmearring foar de beskriuwing fan dizze betingsten wurdt brûkt Boolean fariabelen wier en falsk of hiele wearde werom fan 1 (wier) en 0 (falske). Op in kombinaasje fan dy wearden, lykas te leauwen dat ek klinke, it wurk is bûn meast kompleks en grutskalige systemen. Alle programma koade dat útfierd wurdt op in kompjûter of in digitale apparaat dynamisch fertaalt him yn in searje fan bern en nullen - de universele koade dy't kin wurde ferwurke troch alle ferwurkjen.

Soarten logyske operaasjes

Lykas sein earder, yn 'e klassike Boolean algebra , der binne 2 soarten fan funksjes. De wichtichste logyske operaasjes op binêre data types - binne aksjes dy't de opjefte sels (unary, of single, operaasje). Dat is ek de operaasjes dy't generearje nije útspraken oan 'e basis fan besteande wearden (binêre operaasjes, of twilling). De folchoarder fan 'e logyske operaasjes is itselde as doe it útfieren fan alle wiskundige berekkeningen fan links nei rjochts, mei it each op' e heakjes.

It maklikste en ien fan de meast bekende funksjes fan Boolean logyske funksje is ûntkenning. Dizze ienfâldige logika aksje is in tsjinoerstelde wearde fan de ynbring operand. Yn elektroanika, dizze aksje wurdt soms neamd in omkearing. Bygelyks, as jo invert de stelling "wierheid", it resultaat is "falsk". En oarsom - it ûntkennen fan 'e wearden "false" sil resultearje yn in wearde fan "wier". Dit logyske aksje programmearring wurdt faak brûkt foar branching algoritmen en útfiering fan it 'kar' fan in lettere set fan kommando 's op' e grûn fan 'e besteande resultaten of feroare omstannichheden.

binêre operaasje

Yn kompjûter programmearring en brûk in beheinde set fan binary (binêre) operaasjes. Se krige har namme fan de Latynske wurden bi, wat "twa", en binne de soarte fan funksjes dy't nimme twa ynfier arguminten en weromkomme gefolch yn ien nije wearde. Foar beskriuwingen fan alle funksjes fan Boolean algebra brûkt wierheid tabellen.

Wat se nedich hawwe

Dit systeem is makke foar in bepaalde bedrach fan ynfier operands en beskriuwt alles dêrút wearden, dat kin weromgean in foarbeskaaide logika operaasje by sei set ynfier parameters.

De meast brûkte funksjes yn 'e kompjûter en kompjûter technology ek logyske addition (disjunction) en logysk flere (bynwurd).

bynwurd

De logyske operaasje "EN" - is in funksje fan 'e kar fan' e minder fan twa of n ynfier operands. Oan it ynfieren fan dizze funksje kinne hawwe twa (binêre funksje), de trije wearden (ternary), of in ûnbeheinde oantal operands (n-Ary operaasje). Wannear't berekkenjen it resultaat fan de funksje dan sil wêze de lytste fan 'e levere ynput wearden.

Analog yn gewoane algebra is in funksje fan multiplication. Dêrom, de konjunksje operaasje wurdt faak oantsjutten as in logyske multiplication. Doe't it teken fan 'e funksje opname acts of flere teken (punt) of in ampersand. As wy meitsje de wierheid tafel foar dizze funksje, dan wurdt sjoen dat de funksje is ynsteld om "true" of 1, allinnich mei de wierheid fan alle ynfier operands. As op syn minst ien fan de ynfier parameters nul is, of de wearde "falske", it gefolch fan 'e funksje sil ek wêze "falsk".

Dit slút oan by analogy mei rekkenboek flere: fermannichfâldigjen, en eltse oantal rigen nûmers oan 0 as gefolch altyd jout 0. Dizze logyske aksje is commutative: de folchoarder wêryn it ûntfangt ynfier parameters sille gjin ynfloed op it einresultaat fan de berekkening.

In oar skaaimerk fan dizze funksje is associativity, of associativity. Dit pân lit de berekkening fan 'e binaire rige aksjes gjin rekken holden mei de folchoarder fan evaluaasje. Dêrom, foar 3 of mear oerwinnings logyske flere aksje is net nedich om rekken holden mei de heakjes. Yn programmearring, dizze funksje wurdt faak brûkt om der wis fan dat de spesifike kommando útfiert allinne as it aggregaat fan bepaalde betingsten.

disjunction

De logyske operaasje "OR" - de foarm fan in Booleaanske funksje, wat fergelykber is mei it algebraic addition. Oare nammen foar dizze funksje - logyske Boppedat, it disjunction. Sa ek as de logyske flere wurking, disjunction kin binary (te berekkenjen de wearde basearre op twa arguminten), ternary of n-Ary.

De wierheid tafel foar dizze logyske operaasje is in soarte fan alternatyf foar de ûnderlinge gearhing. De logyske operaasje "OR" berekkent de bêste resultaat ûnder de levere arguminten. Disjunction krijt de útgong wearde "falsk", of 0 pas as alle ynfier parameters ûntfongen mei de wearden 0 ( "falske"). Yn alle oare gefallen de utfier sil jo krije troch de wearde "wier", of 1. Om opnimme dizze funksje wurdt meast faak brûkt wiskundige teken fan de tafoeging ( "plus") of twa fertikale strips. De twadde fariant is wiidferspraat yn de measte programmearring talen en foarkar omdat it kinne jo dúdlik skiede it logysk wurking fan de rekkenkunde.

De algemiene eigenskippen fan logyske operaasjes

Basic logika operaasjes, oft it is unary, binêr, ternary of oare funksjes, binne bûn oan beskate regels en eigenskippen dy't beskriuwe harren gedrach. Ien sokke fûnemintele eigenskippen hienen troch it boppesteande-beskreaun logika funksjes binne commutative.

Dizze funksje soarget derfoar dat de permutation funksje set it operand wearde net feroarje. Net alle operators hawwe dit eigendom. Oars as de konjunksje en disjunction dy't befredige commutativity easken, de funksje fan matrix flere is net, en it rearrangement fan de faktoaren yn dizze operaasje sil har meibringe it resultaat fan 'e feroaring, likegoed as exponentiation.

In fierdere aspekt fan

In oar wichtich skaaimerk, dat wurdt faak brûkt yn elektroanika en circuitry, is de ûnderwerping fan 'e pearen fan logyske operaasjes De Morgan wetten.

Dy wetten bind pearen fan logika operaasjes mei help fan it logyske negaasje-funksje, dy't brûkt wurdt om útdrukking in logyske operaasje mei help fan it oare. Bygelyks, in konjunksje ûntkenning funksje kin útdrukt wurde troch de disjunction negations aparte operands. Mei dy wetten de logyske operaasje "EN", "OR" en vzaimovyrazheny kin wurde útfierd mei sa min mooglik hardware kosten. Dizze funksje is ekstreem brûkber yn sirkwy design, sa't it makket it mooglik om te bewarjen middels yn de berekkening en de foarming fan chips.