The utloahalang tshebetso. The tshebetso mantlha tlhalohanyo

Ya khomphuta ya hao saense e ka ea saense ea ho bokella dithekeniki, hlophisa le ho sebetsa tse fapa-fapaneng ya data e qala ho ntshetsa pele ka bohareng ba lekholo mashome a mabeli. Leha-rahistori ba bang ba lumela hore e le qalo ea sebopeho sa saense ea ya khomphuta ya hao o ile oa behoa ka lekholo la bo17 la lilemo, le ho qaptjoa mechine ea pele khalekhuleita phetha molao, ba bangata ba kopanela ho eona ka lilemo tse tsoetseng pele ho feta lik'homphieutha. Ka 40s ea lekholo la bo20 la lilemo, le qaleha ea lik'homphieutha pele, saense ya khomphuta ya hao e se e ile a fumana susumetsa bacha hore ba ntshetsopeleng ya.

Ka taba ea ho ithuta Informatics

E ne e le qaleha ea lik'homphieutha pele e ba ho hlokahala hore ho hlahisa mekhoa e mecha ea systematization, manolotsoeng le ho e lokisa ya disete kgolo ya data, hammoho le ka ntshetsopele ya dikgatotharabololong hore ne a tla lumella monyetla feletseng tsa lik'homphieutha se secha. Informatics amohetse boemo ba ho fuoa taeo e ikemetseng litabeng tsa saense, 'me ba ile ba fallela ka ntle ho sefofane ea dipalelo thuto ea lipalo ho ithuta palelelo ka kakaretso.

All saense ea kajeno ya khomphuta ya hao e thehiloe tshebetso utloahalang. Ba ile ba ka bitsoa karolo ea bohlokoa. Ka mananeo a, tsamaiso ea k'homphieutha mohopolo wa tshebetso utloahalang - e ke bohato, e hlahisoang ka mor'a ho etsa khopolo e ncha kapa boleng thehoa motheong likhopolo jaana. A sete tsa liketso tse joalo ka 'na ea fapana ho itšetlehile ka elements lab ho phethahatsa litaelo tsa. Leha ho le joalo, ho na le ba bang ba etsa liopereishene tse tloaelehileng ho hoo e batlang e tsamaiso ea tsohle tse teng. tshebetso ena, eo sebetsa le dikahare o nka ho bona ka bobona, tse kang ho hana, kapa tseo e fetola ditirisanommogo characterization dikgopolo - eketsa, ho tlosa, atisa, arola.

Operands ya tshebetso e utloahalang

Ho tloha aljibra utloahalang ho bolela mosebetsi oa ka maikutlo a inahaneloang, ka nako eo e le operands tshebetso yohle e utloahalang ke generalized mefuta ya data. likarolo classic, sebetsa le lipolelo tse aljibra ke lipolelo tse, ea bohata kapa ba 'nete. The elektronike le mananeo bakeng sa tlhaloso ea mantsoe ana e sebediswa Boolean divariabole nete le ba bohata kapa palotlalo boleng ba 1 ( 'nete) le 0 (ba bohata). Ka motsoako oa melao ea boitšoaro tsena, e le a hlollang ha e ntse e ka 'na ea utloahala e, mosebetsi bo tlameletsoe tsamaiso ea rarahaneng ka ho fetisisa le khōlō. All khoutu lenaneo e bolaoa ka k'homphieutha kapa sesebediswa efe kapa efe ditsitithale dynamically fetolela hore e be tatelano ea ba le nnoto - the khoutu bokahohleng e ka sebetswa ke e lokisa efe kapa efe.

Types of tshebetso utloahalang

Joalokaha ho boletsoe pejana, ka classic Boolean aljibra , ho na le 2 mefuta ya mesebetsi. Ba ka sehloohong e utloahalang tshebetso ka mefuta e binary ya data - ke liketso tsa amang polelo ka boeona e (unary, kapa ea se nang molekane, tshebetso). Sena ke e boetse e le tshebetso e hlahisa lipolelo tse ntjha motheong oa melao ea boitšoaro jaana (tshebetso binary, kapa mafahla). Taelo ea tshebetso e utloahalang ho tšoana le ha ho phetha dipalelo efe kapa efe thuto ea lipalo ho tloha letšehali ho ea ho le letona, ka lebaka la ka masakaneng ho.

The bonolo ka ho fetisisa le e mong oa mesebetsi fetisisa tsebahalang ea Boolean mabaka mosebetsi e latola. Ena e bonolo mabaka tshebetso ke boleng bo fapaneng ya operand input. Ka elektronike, ketso ena e ka linako tse ling bitsoa pitikololo. Ka mohlala, haeba u ribega le tshitshintsweng " 'nete", phello e "oa bohata". Le sekgoeng - the negation melao e "oa bohata" e tla fella ka boleng ba " 'nete". Ena e utloahalang mananeo tshebetso e atisa ho sebediswa bakeng sa branching dikgatotharabololong le tshebediso ya "khetho efe" ba sa sete latelang la litaelo ka lebaka la liphello tse teng kapa maemo a fetotsoe.

opereishene binary

Ka mananeo a k'homphieutha le sebelisa sete e lekanyelitsoeng ea binary (binary) tshebetso. Ba fihla lebitso la bona ho tloha mantsoe Latin bi loi bao mat, e bolelang "e 'meli",' me ke oa mofuta ofe mesebetsi hore nka likhang input tse peli 'me a khutlele ka lebaka ka boleng e ncha. Bakeng sa tlhaloso ya mesebetsi kaofela aljibra Boolean sebedisa litafole 'nete.

Seo ba se hlokang

tsamaiso ena o entsoe bakeng sa palo e itseng ea operands input 'me e hlalosa makgabane tsohle sephetho, e leng se ka kgutlisa e esale pele sea utloahala kapa che tshebetso ka reng o beha entsprechen input.

Mesebetsi hangata ho fetisisa sebelisoa ka lik'homphieutha le khomphuta di utloahalang phaella moo (disjunction) le utloahalang le katiso (hammoho).

kopanelo

Tshebetso e utloahalang "AND" - ke mosebetsi wa kgetho ya e monyenyane ea operands tse peli kapa n g input. Ka kena mosebetsi ena ho ka ba le tse peli (binary mosebetsi), melao ea boitšoaro e meraro (ternary), kapa palo e se nang moeli ea operands (n g-, ary tshebetso). Ha bala ka lebaka la mosebetsi wa ho tla ba nyenyane ka ho fetisisa melemo input fuoa.

Manaka ka aljibra ba tloaelehileng ke mosebetsi wa atisiwa. Ka lebaka leo, ho sebetsa hammoho e atisa ho bitsoa ka atisiwa utloahalang. Ha pontšo ea ho ba mosebetsi ho rekota liketso kapa atisiwa letšoao (ntlha) kapa e ampersand. Haeba re etsa tafole 'nete bakeng sa mosebetsi ona, ho tla bonoa hore mosebetsi e beha ho "ea' nete" kapa 1, feela le 'nete ea operands tsohle input. Haeba bonyane e mong oa entsprechen le input ke lefela, kapa boleng "bohata", le ka lebaka la mosebetsi ho tla boela ho be "ba bohata".

Sena se bontša hore papiso ka mentlele atisiwa: atisiwa, 'me palo e' ngoe ea disete ea linomoro ho 0 ka lebaka kamehla khutlela 0. ena tshebetso sea utloahala kapa che ke refosanya maemo: taelo eo ho eona ho fumana entsprechen input tla ha di ame lebaka qetellang ea manolotsoeng ena.

Tšobotsi e 'ngoe ea mosebetsi ona e associativity, kapa associativity. thepa ena lumella manolotsoeng tsa latellana joang binary ya tshebetso ha hlokomele taelo ea tlhatlhobong. Ka hona, ka 3 kapa ho feta tse latellanang utloahalang atisiwa tshebetsong ha ho hlokahala hore ho nahana ka masakaneng. Ka mananeo a, mosebetsi ona o atisa ho sebelisoa ho etsa bonnete ba hore litaelo itseng bolaoa feela haeba aggregate la maemo a itseng.

disjunction

The utloahalang opereishene "OR" - mokgwa wa mosebetsi e Boolean, eo e tšoanang le go tlaleletsa aljebra. mabitso a mang bakeng sa mosebetsi ona - utloahalang phaella moo, disjunction. Ka ho tšoanang, e le e utloahalang le katiso sebetsa, disjunction ka 'na ba binary (ho lekanya boleng e thehiloeng likhang tse pedi), ternary kapa n g-, ary.

Nnete tafole bakeng tshebetso ena e utloahalang ke mofuta oa seng ho fapana kopanelo ya. Tshebetso e utloahalang "OR" calculates sephetho molemo ka ho fetisisa har'a mabaka a sa fuoa. Disjunction fumana boleng khumo "bohata" kapa 0 feela ha bohle entsprechen le input fumaneng le melemo 0 ( "bohata"). Boemong leha e le efe khumo li tla fumanoa ka boleng ba " 'nete", kapa 1. Ho ngola mosebetsi ena e hangata ka ho fetisisa sebelisoa letšoao thuto ea lipalo tsa phaella moo ( "garena") kapa tse peli hlobolisa paatsepama. The fapaneng bobeli ho atile ka lipuo tse ngata mananeo le ratang hobane e lumella u ho ka ho hlaka a arole ba tshebetso e utloahalang ea mentlele ea.

The thepa kakaretso ya tshebetso e utloahalang

Basic tshebetso sea utloahala kapa che, ebang ke unary, binary, ternary kapa mesebetsi e meng, ke ho ipeha tlas'a melao e itseng 'me thepa e hlalosa boitšoaro ba bona. E mong joalo thepa ea motheo ena le ka ho mesebetsi ka holimo-o ile a hlalosa mabaka a ke refosanya maemo.

Tsobotsi ena etsa bonnete ba hore ho permutation mosebetsi beha boleng operand ha a fetohe. Sa lisebelisoa tsohle na thepa ena. Ho fapana le kopanelo le disjunction hore khotsofatsa ditlhoko commutativity, mosebetsi oa popeho atisiwa hase, le rearrangement tsa lintlha ka tshebetso ena e tla akarelletsa eng ka lebaka la phetoho e, hammoho le exponentiation.

A karolo e 'ngoe ea

Tšobotsi e 'ngoe ea bohlokoa, e leng e sebelisoa hangata ka elektronike le circuitry, ke kgatello ya lipara tsa utloahalang tshebetso De Morgan melao.

Melao ena e tlama lipara tsa tshebetso mabaka sebedisa utloahalang negation mosebetsi, hore e sebediswa ho bontša ka tshebetso e utloahalang ho sebelisa e mong. Ka mohlala, mosebetsi kopanelo negation ka 'na bontšoa ke disjunction kganetso operands arohaneng. Le melao ena ea utloahalang opereishene "AND", "OR" le vzaimovyrazheny ka ho sebediswa ka theko fokolang haholo hardware. Tsobotsi ena e le molemo haholo ka moralo oa potoloho, ha e ntse e lumella hore o boloka mehlodi ya ka manolotsoeng le sebopeho sa dita.