Yano nga katarungan operasyon sa computer

Bisan kinsa nga nagsugod sa pagtuon sa computer science, sa pagtudlo sa duha nga gidaghanon nga sistema. Kini gigamit sa pagkuwenta sa makataronganong operasyon. Hunahunaa ang mosunod nga sa tanan nga mga labing elementary makataronganon operasyon sa computer sa siyensiya. Human sa tanan, kon sa imong hunahuna mahitungod niini, sila nga gigamit sa paghimo sa katarungan sa computer ug mga lalang.

paglimod

Sa wala pa sugod sa paghunahuna sa detalye sa piho nga mga panig-ingnan ilista ang mga nag-unang mga makataronganon operasyon sa usa ka computer:

• paglimod;
• Dugang pa;
• multiplication;
• mosunod;
• pagkasama.

Usab, sa wala pa sugod sa pagtuon sa mga operasyon sa katarungan mao ang pag-ingon nga sa Computer Science bakak gitawag nga "0", apan ang kamatuoran "1".

Kay ang tagsatagsa nga aksyon, sama sa normal nga matematika, ang mosunod nga mga ilhanan sa makataronganon nga operasyon nga gigamit sa computer sa siyensiya: ¬, v, ug, ->.

Ang matag aksyon nga posible nga sa paghulagway sa bisan unsa nga numero 1/0, o makataronganong mga ekspresyon. Sa pagsugod sa paghisgot sa matematika lohika sa usa ka yano nga operasyon gamit ang usa lang ka baryable.

Makataronganon supak - inversion operasyon. Ang punto mao nga kon ang inisyal nga ekspresyon - ang kamatuoran, ang inversion resulta mao ang - ang usa ka bakak. Sa laing bahin, kon ang inisyal nga ekspresyon - sa usa ka bakak, nan, ang resulta mahimong usa ka inversion - ang kamatuoran.

Sa diha nga ang pagsulat niini nga ekspresyon sa atong paggamit sa mosunod nga mga nota sa "¬A".

Kita sa paghatag sa kamatuoran sa lamesa - usa ka sirkito nga nagpakita sa tanan nga mga posible nga mga resulta sa operasyon alang sa bisan unsa nga data tinubdan.

Nga mao, kon kita adunay orihinal nga ekspresyon - ang tinuod nga (1), nan ang iyang supak bakak (0). Ug kong ang mga inisyal nga ekspresyon - mini nga mga (0), unya ang iyang supak - tinuod (1).

Dugang pa

Ang nahibilin nga operasyon nagkinahanglan sa duha ka baryable. Nagpakita nga usa ka ekspresyon - Usa ka ikaduha nga - B. Makataronganon operasyon sa computer nga nagtumong sa dugang operasyon (o disjunction), o sa diha nga nga Kasulatan gitudlo pinaagi sa pulong nga "o", o gimarkahan "v". Isulat sa posible nga mga kapilian alang sa mga data ug mga resulta sa kalkulasyon.

1. E = 1, n = 1, nan E v n = 1. Kon ang duha ka mga ekspresyon mga tinuod, nan ang ilang disjunction tinuod usab.
2. E = 0, n = 1, sa katapusan E v = K 1 E = 1, H = 0, nan E v A = 1. Kon mokubos sa usa sa mga mga ekspresyon mao ang tinuod nga, nan ang resulta sa ilang Dugang pa tinuod.
3. E = 0, H = 0, ang resulta mao ang E v H = 0. Kon duha mga ekspresyon sa mga bakak, nan ang ilang padron usab - sa usa ka bakak.

Kay mubo, paghimo kita sa usa ka kamatuoran sa lamesa.

multiplication

Ingon nga gihimo sa mga Dugang pa sa operasyon, mobalhin sa multiplication (inubanan). Kita sa paggamit sa sa mao usab nga mga simbolo, nga gihatag sa ibabaw sa Dugang pa. Sa diha nga ang pagsulat sa usa ka makataronganon multiplication ang gipaila sa "&" simbolo o sa sulat "ako".

1. E = 1, n = 1, nan E & H = 1. Kon ang duha ka mga ekspresyon mga tinuod, nan ang ilang inubanan - tinuod.
2. Kon sa labing menos usa sa mga ekspresyon nga - sa usa ka bakak, nan, ang resulta sa makataronganon pagpadaghan mao usab ang usa ka bakak.

• E = 1, A = 0, mao E & H = 0.
• E = 0, n = 1, nan E & H = 0.
• E = 0, H = 0, usa ka kinatibuk-sa E & H = 0.

resulta

Ang makataronganong operasyon ay (implikasyon) - sa usa sa mga simplest sa matematika katarungan. Kini gibase sa usa ka axiom - sa kamatuoran dili mosunod sa usa ka bakak.

1. E = 1, A =, busa E -> N = 1. Kon ang usa ka magtiayon mao ang sa gugma, unya sila mahimo paghalok - ang kamatuoran.
2. E = 0, n = 1, unya E -> N = 1. Kon ang usa ka pares wala pagdugmok, sila halokan - mahimo usab nga tinuod.
3. E = 0, H = 0, kini nga E -> N = 1. Kon ang paris dili diha sa gugma, nan sila dili paghalok - mao usab ang tinuod nga.
4. E = 1, n = 0, ang resulta mao ang E -> N = 0. Kon ang paris gugma, dili sila paghalok - bakak.

Aron mapadali ang pagpatay sa matematika nga operasyon sama sa pagpresentar kita sa kamatuoran lamesa.

pagkasama

Ang katapusan nga operasyon nga giisip nga usa ka makatarunganon pagkatawo pagkasama o nga panagtandi. Sa teksto, kini gitawag nga "... kon ug lamang kon ...". Base sa pagmugna niini, isulat kita sa tanan nga mga panig-ingnan alang sa sugod niini.

1. Usa ka = 1, B = 1, unya A≡V = 1. Ang tawo nga sa pag-inom papan kon ug lamang kon masakiton. (Tinuod)
2. Usa ka = 0, B = 0, ingon sa usa ka resulta A≡V = 1. Ang tawo wala-inum papan, ug unya lamang sa diha nga dili masakiton. (Tinuod)
3. Usa ka = 1, B = 0, mao A≡V = 0. Tagsa-tagsa nga mga papan sa pag-inum kon ug lamang kon walay masakiton. (Bakak)
4. Usa ka = 0, B = 1, unya A≡V = 0. Tagsa-tagsa nga mga papan o moinom kon ug lamang kon masakiton. (Bakak)

kabtangan

Busa, tagda ang usa ka yano nga operasyon katarungan sa computer sa siyensiya, kita magsugod sa pagtuon sa pipila sa ilang mga kabtangan. Sama sa matematika, lohika operasyon anaa sa iyang order pagproseso. Sa dako nga operasyon makataronganon ekspresyon sa parentesis gihimo una. Human sila, ang unang butang nga mag-isip kita sa tanan nga sa mga mithi sa panig-ingnan sa pagdumili. Ang sunod nga lakang mao ang kalkulasyon sa panugtong, unya ang disjunction. Lamang unya sa pagdala sa imbestigasyon operasyon ug, sa katapusan, ang panagtandi. Tagda ang usa ka gamay nga panig-ingnan alang sa pagklaro.

Usa ka v B & ¬V -> Sa ≡ Usa ka

Ang pamaagi sa paghimo sa mosunod nga mga buhat.

1. ¬V
2. Sa & (¬V)
3. Usa ka v (V & (¬V))
4. (Usa ka v (B & (¬V))) -> B
5. ((Usa ka v (V & (¬V))) -> B) ≡A

Aron sa pagsulbad sa panig-ingnan niini nga, kita kinahanglan sa pagtukod sa usa ka gipalapdan kamatuoran lamesa. Sa diha nga kini gibuhat, hinumdumi nga ang mga haligi nga mas maayo nga gibutang diha sa sama nga han-ay sa nga nga gidala sa gawas ug aksyon.

Ingon sa atong makita, ang resulta sa sample nga solusyon mao ang katapusan nga kolum. Ang kamatuoran lamesa nakatabang sa pagsulbad sa problema sa bisan unsa nga posible nga data tinubdan.

konklusyon

Sa niini nga artikulo nga gihisgotan ko sa pipila sa mga konsepto sa matematika lohika, sama sa computer sa siyensiya, ang mga kabtangan sa mga operasyon lohika, ug - unsa ang makataronganon operasyon sa ilang kaugalingon. Pipila ka yano nga mga ehemplo nga gihatag alang sa mga solusyon sa mga problema sa matematika pangatarungan ug kamatuoran lamesa sa pagpayano sa niini nga proseso.