Ny lojika fandidiana. Ny fototra lojika asa

Computer siansa ho toy ny siansa ny fanangonana teknika, mandamina sy fandraisana ny antonta-kevitra isan-karazany manomboka mitombo ao amin'ny tapaky ny taonjato faharoapolo. Na ny mpahay tantara sasany mino fa ny fanombohana ny fananganana ny solosaina siansa dia nalevina tao amin'ny taonjato faha-17, amin'ny famoronana ny voalohany milina fanaovana kajy, ny ankamaroan'ny nifanerasera izany ny taona mandroso kokoa solosaina teknolojia. Ao amin'ny 40s 'ny taonjato faha-20, miaraka amin'ny fahatongavan'ny voalohany ordinatera, solosaina ny siansa dia nahazo tosika vaovao ho an'ny fampandrosoana.

Ny fianarana momba ny Informatika

Izany dia miaraka amin'ny fahatongavan'ny voalohany ordinatera dia lasa ilaina ny hanana fomba vaovao ny systematization, fikajiana sy ny fanodinana ny angon-drakitra lehibe milentika, ary koa eo amin'ny fampandrosoana ny algorithms izay mety hamela ny feno ny vaovao mety solosaina. Informatika nandray ny toerana misy tsy miankina Siantifika famaizana, ary nifindra avy teo amin'ny fiaramanidina ny kajikajy hianatra matematika amin'ny ankapobeny computation.

Solosaina rehetra siansa maoderina dia mifototra amin'ny lojika asa. Afaka hantsoina hoe singa fototra. Ao amin'ny fandaharana, KAJIMIRINDRA ny foto-kevitra ny lojika asa - izany dia asa, izay niteraka rehefa avy manao hevitra vaovao na zava-dehibe niforona mifototra amin'ny foto-kevitra efa ananana. Napetraka ny fihetsika toy izany dia mety miovaova arakaraka ny processeur singa mba hampihatra didy. Na dia izany aza, misy asa izay iraisan'ny saika efa misy rafitra rehetra. Io hetsika, izay miasa miaraka amin'ny votoaty sarobidy ny tenany, toy ny fandàvana, na izay nanova ny hamaroan'isa characterization hevitra - ampiana, analana, mihabetsaha, fivakisana.

Operands ny lojika asa

Koa satria ny alijebra lojikan'ny asa dia midika amin'ny hevitra saro-takarina, dia toy ny lojika rehetra operands asa no ankapobeny karazana angon-drakitra. Classical singa, miasa amin'ny alijebra fanambarana ireo fanambarana, diso na marina. Ny fitaovana elektronika sy ny fandaharana ho an'ny famaritana ireo teny no ampiasaina Boolean hiovaova marina sy diso, na integer sandan'ny 1 (marina) sy 0 (diso). Tamin'ny ny fitambaran'ny soatoavina ireo, tahaka ny tsy azo inoana araka Mety ho toa, ny asa Miraikitra sarotra indrindra sy ny rafitra goavana. Fandaharana rehetra fehezan-dalàna izay novonoina amin'ny solosaina na fitaovana nomerika dynamically mandika teny ho amin'ny fisesin-amim-behivavy sy zeros - ny rehetra izao fehezan-dalàna izay azo tsinjaraina misy fanodinana.

Karazam-lojika asa

Araka ny voalaza teo aloha, ao amin'ny kilasika Boolean alijebra , misy 2 karazana asa. Ny tena lojika fandidiana amin'ny angon-drakitra mimari-droa karazana - dia zavatra mahakasika ny fanambarana mihitsy (unary, na tokan-tena, miasa). Izany ihany koa ny hetsika izay hiteraka fanambarana vaovao miorina amin'ny soatoavina efa ananana (mimari-droa asa, na ny kambana). Ny lamin 'ny asa lojika dia mitovy tahaka ny manao kajy na matematika avy eo ankavia miankavanana, eo jerena ny fononteny mahitsy.

Ny mora indrindra ary iray amin'ireo fanta-daza indrindra fonctions de Boolean asa lojika dia fandavana. Io lojika tsotra hetsika dia mifanohitra ilaina ny fahan'ny operand. Ao amin'ny fitaovana elektronika, asa io indraindray antsoina hoe ny inversion. Ohatra, raha Ampifamadiho ny hevitra naroso "fahamarinana", ny vokany dia "diso". Sy ny mifamadika amin'izany - ny negation ny soatoavina "diso" iray hiteraka zava-dehibe ny "marina". Io lojika fandaharana asa no matetika ampiasaina ho maitso algorithms sy ny fampiharana ny "safidy" ny manaraka ny didy napetraka ny fototry ny efa misy vokatra, na niova ny toe-piainana.

mimari-droa fandidiana

Tamin'ny fandaharana, ary mampiasa ordinatera voafetra napetraka ny mimari-droa (mimari-droa) asa. Dia nahazo ny anarany ao amin'ny teny latinina mizaka ny zom, midika hoe "roa", ary ny karazana asa izay mandray torohevitra roa hevitra, ary hiverina ao anatin'ny iray noho vidy vaovao. Fa ny famaritana rehetra Boolean asan'ny fahamarinana alijebra mampiasa latabatra.

Ny zavatra ilainy

Ity tontolo ity dia natao ho iray habetsaky ny fahan'ny operands sy ny soatoavina mamaritra vokatr'izany rehetra, izay mety hiverina ny efa voafaritra mialoha amin'ny asa lojika hoy torohevitra masontsivana napetraka.

Ny tena ampiasaina matetika miasa eo amin'ny solosaina sy ny teknolojia solosaina dia lojika koa (disjunction) sy ny lojika fampitomboana (mitohy).

mpampitohy

Ny lojika fandidiana "SY" - dia miasa ny safidy 'ny kely indrindra roa na n torohevitra operands. Ao amin'ny asa izany dia afaka miditra roa (mimari-droa ny asa), ny soatoavina telo (ternary), na tsy voafetra operands (n-ary miasa). Rehefa fikajiana ny vokatry ny asa dia ho ny kely indrindra amin'ny namatsy fahan'ny soatoavina.

Analogue in tsotra alijebra dia miasa amin'ny fampitomboana. Noho izany, ny teny mpampitohy asa dia matetika antsoina hoe fampitomboana ny lojika. Rehefa ny famantarana momba ny asa asa fandraisam-peo na ny fampitomboana famantarana (teboka) na ampersand. Raha manao ny marina latabatra noho izany ny asa, dia ho hita fa ny asa dia nametraka ny "marina" na 1, afa-tsy ny marina rehetra ny fahan'ny operands. Raha iray, fara fahakeliny fahan'ny masontsivana dia aotra, na ny zava-dehibe "diso", ny vokatry ny asa koa ho "diso".

Izany mampiseho rafitrisa Fitoviana amin'ny fampitomboana: fampitomboana, ary misy maro karazana isa ho 0 Vokatr'izany miverina foana 0. lojika izany asa no commutative: ny mba ao izay mandray torohevitra masontsivana dia tsy misy fiantraikany amin'ny farany ny vokatry ny kajy.

Endri-javatra iray hafa ity dia associativity asa, na associativity. Zavatra tsy fananana mamela ny fikajiana ny mimari-droa filaharan'ireo asa dia tsy tafiditra ao ny lamin 'tombana. Noho izany, mandritra ny 3 na mihoatra misesy lojika fampitomboana hetsika dia tsy ilaina ny tafiditra ao ny fononteny mahitsy. Ao amin'ny fandaharana, izany asa no matetika ampiasaina mba hahazoana antoka fa ny didy manokana novonoina raha ny aggregate ny fepetra sasany.

disjunction

Ny lojika fandidiana "OR" - ny endriky ny Boolean ny asa, izay mitovy amin'ny algebraic koa. Anarana hafa noho izany asa - lojika koa, ny disjunction. Toy izany koa, araka ny lojika fampitomboana fandidiana, disjunction mety ho mimari-droa (ny kajy ny vidiny mifototra amin'ny fanehoan-kevitra roa), ternary na n-ary.

Ny marina noho izany lojika latabatra fandidiana dia karazana hafa ny teny mpampitohy. Ny lojika fandidiana "OR" kajy ny vokatra tsara indrindra eo amin'ny nanome hevitra. Disjunction mandray ny Output sarobidy "diso", na 0 raha tsy ny rehetra raisina amin'ny masontsivana fahan'ny ny soatoavina 0 ( "diso"). Na izany na tsy tranga hafa ny Output dia ho azo avy amin'ny zava-dehibe "marina", na 1. Mandrakitra an-tsoratra izany asa no ampiasaina matetika indrindra famantarana ny matematika koa ( "Plus") na roa mitsangana ravin. Ny faharoa Variant dia miparitaka any amin'ny ankamaroan'ny fiteny, ary nisafidy ny fandaharana satria dia mamela anao mazava tsara manasaraka ny lojika fiasan'ny ny rafitrisa.

Ny toetra mampiavaka ny lojika ankapobeny asa

Basic lojika asa, na dia unary, mimari-droa, ternary na asa hafa, dia iharan'ny fitsipika sy ny fananana sasany izay mamaritra ny fitondran-tenany. Iray fototra toy izany fananana nanana ny voalaza etsy ambony dia commutative asa lojika.

Io endri-javatra no miantoka fa ny asa permutation mametraka ny operand sarobidy dia tsy miova. Tsy ny rehetra mpandraharaha manana fananana izany. Tsy toy ilay teny mpampitohy sy ny fahafaham-po commutativity disjunction izay fepetra takiana, ny asa ny fampitomboana teraka tsy eto intsony, ary ny mifanaraka amin'ny anton-javatra ity ny hetsika dia mitarika ny vokatry ny fiovana, ary koa ny exponentiation.

Ny lafiny fanampiny

Endri-javatra manan-danja iray hafa, izay matetika ampiasaina amin'ny fitaovana elektronika sy ny circuitry, dia ny subordination ny tsiroaroa ny lojika asa De Morgan lalàna.

Ireo lalàna mamatotra tsiroaroa ny lojika asa mampiasa ny lojika negation ny asa, izay ampiasaina mba hanehoana ny lojika hetsika mampiasa ny hafa. Ohatra, ny teny mpampitohy negation asa mety ho naneho ny disjunction negations operands misaraka. Raha ireo lalàna ny lojika bemidina "SY", "OR" sy ny vzaimovyrazheny azo ampiharina amin'ny zara vidin'ny fitaovana. Io endri-javatra dia tena ilaina amin'ny famolavolana faritra, tahaka ny mamela anao hamonjy loharanon-karena ao amin'ny kajy sy ny fananganana ny poti-.