Operasyon an lojik. operasyon yo lojik debaz

syans òdinatè kòm yon syans pou kolekte teknik, òganize epi travay sou yon varyete de done kòmanse yo devlope nan mitan-ventyèm syèk la. Malgre ke kèk istoryen kwè sa ki te nan konmansman an nan fòmasyon an nan syans òdinatè mete nan 17yèm syèk la, ak envansyon nan premye kalkilatris a mekanik, majorite nan asosye li ak laj la nan ki pi avanse teknoloji konpitè. Nan 40s yo nan 20yèm syèk la, ak avènement de òdinatè yo an premye, li te syans òdinatè te resevwa yon UN nouvo nan devlopman an.

Sijè a nan enfòmatik etid

Li te la avèk te avènement de òdinatè yo an premye vin nesesè yo devlope metòd nouvo sou sistematize, kalkil ak pwosesis nan aparèy televisyon HD done gwo, osi byen ke nan devlopman nan algoritm ki ta pèmèt potansyèl la ak tout nouvo òdinatè. Enfòmatik resevwa estati a nan yon disiplin endepandan syantifik, ak deplase soti nan avyon an nan kalkil matematik yo etidye kalkil an jeneral.

Tout syans òdinatè modèn ki baze sou operasyon lojik. Yo ka rele yo eleman nan fondamantal. Nan pwogram, sistèm òdinatè konsèp nan operasyon lojik - li se yon aksyon, ki se pwodwi apre fè yon nouvo konsèp oswa se yon valè fòme sou baz la nan konsèp ki egziste deja. Yon seri aksyon sa yo ka varye depann sou eleman nan processeur al touye kòmandman. Sepandan, gen kèk operasyon ki komen nan pratikman tout sistèm ki egziste deja. operasyon sa a, ki travay ak kontni valè tèt yo, tankou refi, oswa moun ki chanje konsèp yo karakterizasyon quantitative - ajoute, soustrè, miltipliye, divize.

Opérandes nan operasyon lojik

Depi lojik la aljèb vle di travay sou nosyon abstrè, Lè sa a, kòm opérandes tout operasyon lojik yo se kalite yo done jeneralize. eleman Klasik, travay ak deklarasyon aljèb yo se deklarasyon vre oubyen fo. se elektwonik la ak pwogram pou deskripsyon an nan tèm sa yo itilize varyab Boolean vre ak fo oswa ki nonb antye relatif valè de 1 (vre) ak 0 (fo). Sou yon konbinezon de valè sa yo, kòm enkwayab tankou li ka son, se travay la mare pi konplèks ak gwo-echèl sistèm yo. Tout kòd pwogram ki se egzekite sou yon òdinatè oswa nenpòt aparèy dijital dynamique tradui nan yon sekans nan yo menm ak zewo - kòd a inivèsèl ki ka trete pa nenpòt pwosesis.

Kalite operasyon lojik

Kòm mansyone pi bonè, nan klasik aljèb la Boolean , gen 2 kalite fonksyon. prensipal operasyon yo lojik sou kalite done binè - yo se aksyon ki afekte deklarasyon an tèt li (unèr, oswa yon sèl, operasyon). Sa a se tou operasyon yo ki jenere deklarasyon nouvo sou baz la nan valè ki egziste deja (operasyon binè, oswa jimo). Lòd la nan operasyon yo ki lojik se menm jan ak lè yo fè nenpòt ki kalkil matematik de gòch a dwat, nan gade nan parantèz yo.

pi fasil a ak youn nan fonksyon ki pi ki byen koni nan Boolean fonksyon lojik se refi. Sa a operasyon lojik senp se yon valè opoze a opérande nan opinyon. Nan elektwonik, se aksyon sa a pafwa yo rele yon entèrvèrsyon. Pou egzanp, si ou Invert pwopozisyon nan "verite", rezilta a se "fo". Ak vis vèrsa - negasyon an nan valè yo "fo", sa pral lakòz nan yon valè de "vre". Sa a se ki lojik operasyon pwogram souvan itilize pou branch algoritm ak aplikasyon nan "chwa a" nan yon seri ki vin apre a kòmandman sou baz la nan rezilta yo ki deja egziste oswa kondisyon chanje.

operasyon binè

Nan pwogram pou òdinatè epi sèvi ak yon seri limite nan binè (binè) operasyon yo. Yo te resevwa non yo soti nan bi a Mo Latin lan, sa vle di "de", epi yo ki kalite fonksyon ki pran de agiman D 'epi retounen yon rezilta nan yon sèl valè nouvo. Pou deskripsyon nan tout fonksyon nan Boolean aljèb sèvi ak tab verite a.

Sa yo bezwen

Sa a se sistèm fè pou yon sèten kantite opérandes opinyon ak dekri tout valè ki kapab lakòz, sa ki ka retounen yon operasyon lojik Predetermined nan di mete paramèt opinyon.

pi souvan itilize fonksyon yo nan teknoloji nan òdinatè ak òdinatè yo de sa ki lojik (disjonksyon) ak miltiplikasyon lojik (konjonksyon).

konjonksyon

Operasyon an ki lojik "AK" - se yon fonksyon nan chwa pou yo pi piti a nan de oswa n opinyon opérandes. Sou k ap antre nan fonksyon sa a ka gen de (binè fonksyon), twa valè yo (tèrsyèr), oswa yon nimewo san limit nan opérandes (n-ARY operasyon). Lè kalkile rezilta a nan fonksyon an li pral pi piti a nan valè yo opinyon bay.

Analogique nan aljèb òdinè se yon fonksyon nan miltiplikasyon. Se poutèt sa, se operasyon an konjonksyon souvan refere yo kòm yon miltiplikasyon lojik. Lè siy lan nan zak fonksyon anrejistreman oswa miltiplikasyon siy lan (pwen) oswa yon comercial. Si nou fè tab la verite pou sa a fonksyon, li pral wè ki fonksyon an mete nan "vre" oswa 1, sèlman ak sa a verite a nan tout opérandes yo opinyon. Si omwen youn nan paramèt yo opinyon se zewo, oswa valè a "fo", rezilta a nan fonksyon an ap tou ap "fo".

Sa a reflete analoji ak aritmetik miltiplikasyon: miltiplikasyon, ak nenpòt ki kantite kouche nan nimewo a 0 kòm yon rezilta toujou retounen 0. operasyon lojik Sa a se komitatif: nan ki lòd li resevwa paramèt opinyon pa pral afekte rezilta final la nan kalkil la.

Yon lòt karakteristik nan sa a fonksyon se asosyativite, oswa asosyativite. Pwopriyete sa a pèmèt kalkil la nan sekans nan binè nan operasyon pa pran an kont lòd la evalyasyon. Se poutèt sa, pou 3 oswa plis youn apre lòt operasyon miltiplikasyon lojik se pa nesesè pran nan kont parantèz yo. Nan pwogram, se fonksyon sa a souvan yo itilize a asire w ke kòmandman yo espesifik egzekite sèlman si total la nan sèten kondisyon.

disjonksyon

Lojik operasyon "OSWA" - fòm lan nan yon fonksyon Boolean, ki se menm jan ak adisyon nan aljebrik. Lòt non pou sa a fonksyon - ki lojik de sa, disjonksyon la. Menm jan an tou, kòm operasyon an miltiplikasyon lojik, disjonksyon pouvwa gen binè (yo kalkile valè a ki baze sou de agiman), tèrsyèr oswa n-ARY.

Tablo ki verite pou sa a operasyon lojik se yon kalite altènativ a konjonksyon la. Operasyon an ki lojik "OR" kalkile rezilta a pi bon nan mitan agiman yo bay. Disjonksyon resevwa valè a pwodiksyon "fo", oswa 0 sèlman lè tout paramèt yo opinyon resevwa ak valè yo 0 ( "fo"). Nan nenpòt lòt ka ap pwodiksyon an ka jwenn pa valè a "vre", oswa 1. Pou dosye fonksyon sa a se pi souvan itilize siy matematik nan adisyon a ( "plis") oswa de bann vètikal. Variant nan dezyèm se gaye anpil nan pi lang programmation ak pi pito paske li pèmèt ou byen klè separe operasyon an ki lojik nan aritmetik a.

Pwopriyete yo jeneral nan operasyon lojik

operasyon lojik Preliminè a, si li se unèr, binè, tèrsyèr oswa lòt fonksyon, se sijè a kèk regleman ak pwopriyete ki dekri konpòtman yo. One tankou pwopriyete fondamantal posede pa fonksyon yo lojik pi wo pase-dekri yo komitatif.

Karakteristik sa a asire ke fonksyon an pèmitasyon tou pre valè a opérande pa chanje. Se pa tout operatè gen pwopriyete sa a. Kontrèman ak konjonksyon a ak disjonksyon ki satisfè kondisyon pòtoprens, fonksyon an nan matris miltiplikasyon se pa, ak rmaniman nan nan faktè sa yo nan operasyon sa a ap egzije rezilta a nan chanjman nan, osi byen ke exponentiation.

Yon aspè plis nan

Yon lòt karakteristik enpòtan, ki se souvan yo itilize nan elektwonik ak sikui, se soumission nan pè nan operasyon lojik lwa De Morgan.

Lwa sa yo mare pè nan operasyon lojik lè l sèvi avèk fonksyon an negasyon ki lojik, ki itilize yo eksprime yon operasyon lojik lè l sèvi avèk lòt la. Pou egzanp, ka yon fonksyon konjonksyon negasyon dwe eksprime negation yo disjonksyon opérandes ki apa a. Avèk lwa sa yo operasyon an ki lojik "AK", "oswa" ak vzaimovyrazheny kapab aplike ak depans pyès ki nan konpitè minimal. Karakteristik sa a se trè itil nan konsepsyon sikwi, kòm li pèmèt ou pou konsève pou resous nan kalkil la ak fòmasyon nan bato.