Tha loidsigeach obrachadh. Tha an obraichean bunaiteach loidsig

Saidheans coimpiutair mar saidheans na dòighean-obrach a 'cruinneachadh, a chur air dòigh agus a làimhseachadh diofar dàta a' tòiseachadh a 'leasachadh ann am meadhan an fhicheadamh linn. Ged a tha cuid de eachdraichean a 'creidsinn gu bheil toiseach an cruthachadh saidheans coimpiutaireachd a chur sìos anns an 17mh linn, leis an innleachd a' chiad meacanaigeach àireamhair, a 'mhòr-chuid cheangail e le aois nas adhartaiche teicneòlas coimpiutaireachd. Ann an 40s dhen 20mh linn, nuair a thòisich a 'chiad coimpiutairean, saidheans coimpiutaireachd a fhuair spionnadh as ùr ris an leasachadh.

Tha an cuspair a 'rannsachadh Informatics

B 'ann le a thòisich a' chiad coimpiutairean air a bhith riatanach airson leasachadh dòighean ùra systematization, àireamhachd agus giollachd mòra seataichean dàta, a thuilleadh air ann an leasachadh aontaran a bhiodh a 'leigeil leis an làn chomais de choimpiutairean ùra. Informatics fhuair inbhe neo-eisimeileach saidheansail smachd, agus a ghluasad a-mach às an itealan matamataigeach àireamhachadh airson ionnsachadh coimpiutadh san fharsaingeachd.

A h-uile latha an-diugh saidheans coimpiutaireachd a tha stèidhichte air obrachaidhean loidsigeach. Faodaidh iad a bhith air a ghairm na phàirt bhunaiteach. Ann phrògraman, siostaman coimpiutair a 'bheachd a loidsig obrachadh - tha e an gnìomh, a tha ga chruthachadh an dèidh a' coileanadh bun-bheachd ùr no luach a chaidh a chruthachadh air a 'bhunait a th' ann air bun-bheachdan. A seata de leithid sin de ghnìomhan a dh'fhaodadh atharrachadh a rèir an giullachair-eileamaid a àitheantan an gnìomh. Ach, tha cuid de obraichean a tha cumanta gu cha mhòr a h-uile siostaman a th 'ann. Obrachadh seo, a tha ag obair còmhla ri susbaint a 'cur luach fhèin, leithid àicheadh, no an fheadhainn a tha ag atharrachadh cainneachdail charactaran bun-bheachdan - cuir-ris, toirt air falbh, iomadachadh, roinneadh.

Operands loidigeach obraichean

Bho na algebra loidsig a 'ciallachadh obair air beachdan eas-chruthach, an uair sin mar operands uile loidsigeach obraichean a tha farsaing dàta seòrsa. Classical eileamaidean, ag obair còmhla ri algebra aithrisean tha aithrisean ceàrr no fìor. Tha eileagtronaigeach agus prògraman airson an tuairisgeul de na teirmean seo a chleachdadh boolean a caochladairean fìor agus ceàrr no integer luach 1 (fìor) agus 0 (fuadain). Air measgachadh de na luachan sin, mar iongantach mar a dh'fhaodadh e fuaim, an obair a tha ceangailte as toinnte agus mòr-sgèile siostaman. A h-uile prògram code a tha air a chur gu bàs air coimpiutair no inneal sam bith didseatach dynamically eadar-theangachadh a-steach sreath de fheadhainn agus zeros - an còd-choitcheann a dh'fhaodas a bhith air obrachadh le obrachadh sam bith.

Types of loidsigeach obraichean

Mar a chaidh ainmeachadh na bu tràithe, ann an clasaigeach boolean a ailseabra , tha 2 sheòrsaichean de dhreuchdan. Tha na prìomh obraichean loidsigeach air Binary dàta sheòrsaichean - tha gnìomhan a 'toirt buaidh air an aithris fhèin (unary, no aon, obrachadh). 'S e seo cuideachd an obair a ùra a ghineadh aithrisean air a' bhunait a th 'ann luachan (Binary obair, no càraid). An t-òrdugh an dòigh rianail obraichean an aon rud nuair a matamataigeach sam bith a 'coileanadh àireamhachadh bho chlì gu deas, ann an sealladh de na camagan.

Tha an dòigh as fhasa agus aon den fheadhainn as ainmeil gnìomhan boolean a loidsig obair aicheadh. Sìmplidh seo loidsig obrachadh a tha mu choinneimh luach an taic a operand. Ann eileagtronaigeach, an gnìomh seo a tha uaireannan ris an canar an tionndadh. Mar eisimpleir, ma tha thu a 'mholadh invert "fhìrinn",' se toradh a "fuadain". Agus a chaochladh - an negation na luachan "meallta" Leanaidh luach "fìor". Tha seo a 'loidsigeach obrachadh phrògraman a tha tric air a chleachdadh airson meur-aontaran agus buileachadh "roghainn" an dèidh làimh seata de àitheantan air bun-stèidh a th' ann no toraidhean atharrachadh h.

Binary obrachadh

Ann an coimpiutair prògramadh agus a 'cleachdadh beagan seata de Binary (Binary) obrachaidhean. Fhuair iad an ainm bho na briathran Laideann dà, a 'ciallachadh "dà", agus tha an t-seòrsa de dhreuchdan a' gabhail a-steach dà-argamaidean agus till thoradh ann an aon ùr luach. Airson tuairisgeulan de gach gnìomhan algebra boolean a 'cleachdadh bùird fhìrinn.

Dè dh'fheumas iad

Tha an siostam seo air a dhèanamh airson na h-uiread de operands-steach agus ag innse mu a h-uile thoradh luachan, a 's urrainn a thilleadh ro-shuidhichte loidsig obrachadh aig thubhairt a chur a-steach crìochan.

Tha a 'chuid as motha tric a' cleachdadh gnìomhan ann an coimpiutair agus teicneòlas coimpiutaireachd a tha loidsigeach thuilleadh (disjunction) agus loidsigeach iomadachadh (an co-bhonn).

an co-bhoinn

Tha loidsigeach obrachadh "AND" - 'S e gnìomh nan roghainn de nas lugha na dà no' n cur a-steach operands. Air tighinn a-steach a 'ghnìomh seo a dh'fhaodas a bhith dà (Binary ghnìomh), na trì luachan (ternary), no an uiread de operands (n-Ary obrachadh). Nuair obrachadh a-mach mar thoradh air a 'ghnìomh a bhios e as lugha de na luachan a' cur seachad.

Analogue àbhaisteach ann an ailseabra a th 'ghnìomh aig iomadachadh. Uime sin, an co-bhonn obrachadh gu tric ga ainmeachadh mar an dòigh rianail iomadachadh. Nuair a tha an sgeul a 'ghnìomh no a' clàradh acts iomadachadh soidhne (An Rubha) no an ampersand. Ma tha sinn a 'dèanamh an fhìrinn clàr airson a' ghnìomh seo, bidh e ri fhaicinn gun deach a 'ghnìomh a tha air a shuidheachadh ri "fìor" no 1, ach leis an fhìrinn uile an taic a operands. Ma tha co-dhiù aon de na crìochan a-steach 'S e neoni, no luach "ceàrr", mar thoradh air a' ghnìomh a bhios cuideachd a "fuadain".

Seo a 'sealltainn samhlachais le àireamhachd iomadachadh: iomadachadh, agus àireamh sam bith de sheataichean àireamhan gu 0 mar thoradh air seo an-còmhnaidh a' tilleadh 0. loidsig obrachadh commutative: òrdugh anns a bheil e a 'faighinn a-steach paramadairean nach bi buaidh a thoirt air a' chuairt dheireannach thoradh air an àireamhachadh.

S e feart eile de ghnìomh seo tha associativity, no associativity. Tha seo a 'leigeil seilbh an àireamhachadh na Binary sreath de obraichean nach eil a' gabhail a-steach an òrdugh a mheasadh. Mar sin, airson 3 no nas dèidh a chèile loidsigeach iomadachadh obrachadh Chan eil e riatanach a 'gabhail a-steach eadar camagan. Ann prògraman, a 'ghnìomh seo gu tric a chleachdadh gus dèanamh cinnteach gu bheil a' àitheantan sònraichte a chur gu bàs a-mhàin ma tha an t-iomlan de na cumhachan sònraichte.

disjunction

Tha loidsigeach obrachadh "OR" - an riochd boolean a dhreuchd, a tha coltach ris an ailseabra a bharrachd. Ainmean eile airson a 'ghnìomh seo - loidsigeach Cuideachd, tha an disjunction. An ceudna, mar an dòigh rianail iomadachadh obrachadh, disjunction dòcha gum bi Binary (gus obrachadh a-mach an luach a tha stèidhichte air dà argamaidean), no ternary n-Ary.

Tha an fhìrinn 'bhòrd airson seo a chur an obrachadh S e seòrsa eile gus an co-bhonn. Tha loidsigeach obrachadh "OR" a 'cunntadh as fheàrr thoradh a thoirt seachad am measg na h-argamaidean. Disjunction a 'faighinn an toradh luach "ceàrr", no 0 a-mhàin nuair a h-uile duine an taic a fhuair crìochan le na luachan 0 ( "meallta"). Ann an cùis sam bith eile a 'cur a-mach bidh fhaighinn le bhith an luach "fìor", no 1. Airson a' ghnìomh seo a chlàradh mar as tric a 'cleachdadh matamataig sgeul air an thuilleadh ( "plus") no dìreach dà stiallan. Tha an dàrna coltach bitheanta sa mhòr-chuid phrògraman cànain agus b 'fheàrr leis air oir tha e a' leigeil leat gu soilleir eadar na loidsigeach obrachadh an àireamhachd.

Anns an fharsaingeachd feartan loidsigeach obraichean

Basic loidsig obair, a bheil e unary, Binary, ternary no dleastanasan eile, umhail do riaghailtean àraidh agus feartan a 'toirt cunntas air an giùlain. Aon leithid feartan bunaiteach a phianadh le h-àrd-mhìneachadh loidsig gnìomhan a tha commutative.

Feart seo a 'dèanamh cinnteach gu bheil an permutation a' cur an gnìomh operand luach nach eil ag atharrachadh. Neo-uile oibrichean a tha an seilbh seo. Eu-coltach ri co-bhonn agus disjunction commutativity a 'sàsachadh feumalachdan, a' ghnìomh de matrix iomadachadh nach 'eil, agus a' rearrangement de na factaran ann an seo obrachadh a-staigh na thoradh air an atharrachadh, a thuilleadh exponentiation.

A tuilleadh taobh de

Feart cudromach eile, a tha air a chleachdadh gu tric ann an eileagtronaigeach agus circuitry, tha an ìochdaranachd de càraidean loidigeach obraichean De Morgan laghan.

Tha na laghan seo a cheangal paidhir de loidsig obraichean a 'cleachdadh an dòigh rianail negation gnìomh, a thathar a' cleachdadh a chur an cèill a chur an obrachadh a 'cleachdadh an taobh eile. Mar eisimpleir, an co-bhonn negation gnìomh dh'fhaodadh a bhith air an cur an cèill leis a 'disjunction negations operands fa leth. Le na laghan seo a 'loidsigeach obrachadh "AND", "no" vzaimovyrazheny agus faodar a chur an gnìomh le glè bheag de cruaidh cosgais. Feart seo a tha air leth feumail ann an dealbhadh cuairt, mar a tha e a 'leigeil leat a shàbhaladh goireasan ann an àireamhachadh agus cruthachadh chips.