Di çarçoveya operasyonê de herî maqûl. Operasyonên di mantiqa bingehîn

zanist Computer wek zanist ji berhevkirina teknîkên, rêxistinî û Pêvajoya cîhêreng ên ji welat dest bi pêş di nîvê sedsala bîstemîn de. Tevî ku hinek dîrokzanan bi bawer in ku di destpêka damezrandina zanistê komputerê di sedsala 17'an de bi dahęnana cara yekem calculator mekanîk hate definkirin, de, piraniya ew kesên bi temenê xwe yê pêşketî teknolojiya kompîturê. Di 40'î yên sedsala 20'an de, bi mezinbûna ji komputerên yekem, zanist dibe cêrge nû ji bo pêşketina stand.

De mijara xebat Haydarî

Ev bû bi mezinbûna ji komputerên yekemîn bo pêşxistina rêbazên nû yên berbelavbûna, calculation û proseya komên datayan mezin, herweha di pêşvebirina algorîtmayên ku wê potansiyela wê tije ji komputerên nû destûrê pêwîst bûye. Haydarî pêşwazî li ser rewşa an disiplînek zanistî serbixwe, û ji balafirê ji nav hesabên matematîkî koçî bixwînim computation di giştî.

Hemû zanist dibe modern li ser operasyonên mentiqî de bingeha. Ew dikarin bê hêmana bingehîn tê gotin. Di bernameyên, sîstemên komputerê têgeha operasyona mantiqa - ew vê çalakiyê de, ya ku piştî stran konsepteke nû, an jî nirxê avakirin li ser bingeha têgehên heyî bi giştî ye. A set of çalakiyên wiha dibe ku li gor hêmana processor li birêvebirin emrên diguhere. Lê belê, hin operasyonên ku hevbeş ji bo hema hema hemû sîstemên heyî hene. Ev operasyona ku bi naveroka kar, xwe bi nirxên, wek înkar, red, an jî kesên ku alter têgehên characterization jimaran - lê zêde bike, derdixin, derdê, divide.

Operands ji operasyonên herî maqûl

Ji ber ku mentiqa cebîrê ji wateya kar li ser zihnîyeta razber, paşê wek operands hemû operasyonên vacî li cureyên welat giştî ne. hêmanên Classical, bi daxuyaniyên cebîrê dixebite daxuyaniyên, derew an rast in. The elektronîk û bernameyên ji bo danasîna van mercên tê bikaranîn, guherbarên Boolean nirxê rast û derewîn an hijmar ji 1 (rast) û 0 (false). Li ser yek ji van nirxan, wek ku nayê bawerkirin, ku ev dibe, ji kar dikeve sîstemên kompleks herî û berfireh girêda. koda gerdûnî, ku dikare ji aliyê tu muameleyên hêrandî - All code bernameya ku li ser komputerê an jî device dîjîtal darvekirin dînamîk nav a Bûyer Yên û sifir wergerîne.

Types ji operasyonên herî maqûl

Wek berê, di klasîk behsa cebîrê Boolean , 2 cureyên fonksiyonên hene. Di operasyona herî maqûl sereke li ser cureyên daneya binary - çalakiyên bi bandor li daxuyaniya xwe (unary, an single, operasyona) in. Ev e jî, operasyonên ku bi awayekî daxuyaniyên nû yên li ser bingeha nirxên heyî (operasyonên binary, an cêwî). The fermana operasyonên mantiqî heman weke gava ku stran û tu bi hesibandina bîrkariyê de ji çepê ber bi rastê, li view of the bixemilînî e.

Herî hêsan û ku yek ji erkên herî navdar yên function mantiqa Boolean înkar e. Ev operasyon jî mantiqa sade an nirxa berevajî operand input ye. Di elektronîk, di vê çalakiyê de jî hin caran li meylekê dike ku navê. Ji bo nimûne, eger tu "rastî" re dirije li proposition, encama vê ye "derewîn". Û tênegihiştina - ji înkara nirxên "derewîn" di value of "true" bi encam bibe. Ev bername di operasyonê de herî maqûl e ku gelek caran ji bo çiqê algorîtmayên û sepandina "hilbijartina" of a set piştre yên ku emrên li ser bingeha encamên heyî an jî şert û mercên guherand bikaranîn.

operasyona binary

Di bernameyên kompîturê û bikaranîna set sînorkirî ji binary (binary) operasyonên. Ew navê xwe ji peyvên latînî bi rabû, bi wateya "du", û ne ew rengê erkên ku du argumanan input û vegere encama li yek nirxa nû. Ji bo danasîna hemû erkên cebîrê Boolean tîne maseyên rastiyê.

Çi pêdiviya wan bi

Ev sîstema ji bo demekê diyarkirî yên operands input kirin û hemû nirxên wê encamê, ku dikare operasyona mantiqa amadekirî de hate danîn Parametreyên input got vegere de rave dike.

Erkên herî zêde tê bikaranîn di teknolojiya kompîturê û dibe ne ji bilî aqilane (disjunction) û multiplication aqilane (conjunction).

xaçerêya

Di çarçoveya operasyonê de herî maqûl "Û" - li gor tercîha herî kêm ji du an n input operands e. Hundirê vî wezîfeyî nikare ji du (function binary) heye, ji sê nirxên (ternary), an hejmareka bêsînor ya operands (operasyona n-ary). Di dema hejmartina encama function jî wê bibe ya herî biçûk jî ji nirxên input dayîne.

Analogue li cebîrê ji rêzê a function ji multiplication e. Ji ber vê yekê, di operasyona bi minasebeta bi gelek caran ji bo wek multiplication mentiqî de tê behskirin. Dema ku nîşana kiryarên recording function an multiplication nîşana (point) an ampersand. Eger em bi ser sifrê bi rastî ji bo vî wezîfeyî de, dê were dîtin ku fonksiyona ku "rast" an jî 1, bi tenê, bi rastî ji hemû operands input li set. Eger bi kêmanî yek ji Parametreyên input de ye zero, an jî nirxê "derewîn", encama function jî dê "derew" be.

Ev partî analogy bi multiplication Dallas: pergala ku di wê qebûl Parametreyên input dê encama dawî ya calculation bandorê ne: multiplication, û ti hejmara sets ji hejmara 0 ku di encama her tim 0. Ev operasyona mantiqa commutative e vegeriya.

Taybetiyeke din a vî wezîfeyî associativity, an associativity e. Ev milk dide ku hesaba de cihekê binary operasyonên nade ber çavan bigirin, da yên nirxandinê ne. Ji ber vê yekê, ji bo 3 yan jî zêdetir li pey hev operasyona multiplication herî maqûl e ku ne pêwîst bigire ber çavan de bixemilînî. Di bernameyên, vî wezîfeyî de gelek caran bikaranîn, da ku ku emrên taybetî darvekirin bi tenê eger bi giştî ji hin mercan de.

disjunction

Di çarçoveya operasyonê de herî maqûl "AN" - forma function Boolean, e ku dişibe bilî ceberî. Navên din ên vî wezîfeyî de - ji bilî maqûl, li disjunction. Bi heman awayî, wek ku di operasyona multiplication maqûl, disjunction Dibe ku binary (ji bo hesibandina nirxê li ser du argumanan), ternary an n-ary.

Ser sifrê rastî ji bo vê operasyonê de herî maqûl a kind of alternatîfek ji bo xaçerêya e. Di çarçoveya operasyonê de herî maqûl "AN" dihejmêre, ya herî baş di encama di nav argumentên dayîne. Disjunction nirxa encam distîne "derewîn", an 0 tenê gava ku hemû Parametreyên input ya bi nirxên 0 ( "derewîn") wergirt. Di her rewşê din derana wê bi nirx bi dest "true", an 1. To tomara vî wezîfeyî ye, piraniya caran bi kar nîşana matematîkî ya gel ( "plus") an du caw vertical. The guhertoya duyemîn di zimanên bernameyên berfireh û tercîh e, ji ber ku destûrê dide te ku zelal cuda cuda operasyona mantiqî ya çêdibe.

The milkên giştî ji operasyonên herî maqûl

operasyonên mantiqa bingehîn, gelo ev unary, binary, ternary an fonksiyonên din e, bi ya hin qaîdeyan û milkên ku tevgera wan rave dike. Yek ji van taybetiyên bingehîn cinoyî ji fonksiyonên mantiqa jor-şirove commutative in.

Ev taybetmendî re misoger dike ku fonksiyona permutation Cih nirxa operand naguhere. Ne hemû operatorên xwedî vê malê. Berevajî xaçerêya û disjunction ku têr daxwazên commutativity, ku fonksiyona ji multiplication matrix e ne, û li listiye faktorên di vê operasyonê de di encama guherîna, herweha dê bê wateya exponentiation.

Yek ji aliyên din ên

Taybetmendiyeke din a girîng e, ku gelek caran li elektronîk û circuitry bikaranîn, li ser hinek cotên operasyonên herî maqûl qanûnên De Morgan e.

Ev qanûnên cotên operasyonên mantiqa bikaranîna function înkara mentiqî de, ku ji bo îfade operasyona herî maqûl bikaranîna din girê bidin. Ji bo nimûne, a function xaçerêya bi neyînî dibe ku ji aliyê negations disjunction li operands cuda de ziman. Bi van qanûnên vê operasyonê de herî maqûl "Û", "AN" û vzaimovyrazheny dikare bi mesrefa hardware mînîmal pêkanîn. Ev taybetmendî di dîzayna circuit gelekî bikêr e, wekî ku destûrê dide te ku xilas çavkaniyên di calculation û damezrandina chips.