Simple logic operasyon sa computer

Sinuman na ay nagsisimula sa pag-aaral ng computer science, pagtuturo ng binary number system. Ito ay ginagamit upang kalkulahin ang mga lohikal na operasyon. Isaalang-alang ang pagsunod sa lahat ang pinaka-elementarya lohikal na operasyon sa computer science. Matapos ang lahat, kung sa tingin mo tungkol dito, sila ay ginamit upang likhain ang logic ng mga computer at mga aparato.

pagtanggi

Bago simulan upang isaalang-alang nang detalyado ang mga tiyak na mga halimbawa ilista ang mga pangunahing mga lohikal na operasyon sa isang computer:

• pagtanggi;
• Bilang karagdagan;
• pagpaparami;
• sundin;
• pagkakapantay-pantay.

Gayundin, bago simulan ang pag-aaral ng mga operasyon na lohika ay upang sabihin na in Computer Science namamalagi itinalagang "0", ngunit ang katotohanan "1".

Para sa bawat pagkilos, tulad ng sa normal na matematika, ang mga sumusunod palatandaan ng mga lohikal na mga pagpapatakbo na ginagamit sa computer science: ¬, v, &, ->.

Ang bawat pagkilos na posible upang ilarawan ang anumang mga numero 1/0, o basta lohikal na expression. Upang simulan ang pagsasaalang-alang ng matematikal na lohika sa isang simpleng operasyon gamit ang isa lamang na variable.

Lohiko hindi pagsang - inversion operasyon. Ang ilalim na linya ay na kung ang unang expression - ang katotohanan, ang pagbabaligtad resulta ay - isang kasinungalingan. Sa kabaligtaran, kung ang unang expression - isang kasinungalingan, at pagkatapos ay ang resulta ay magiging isang pagbabaligtad - ang katotohanan.

Kapag sumusulat ito expression ginagamit namin ang sumusunod notation "¬A".

Binibigyan namin ang katotohanan talahanayan - isang circuit na kung saan ay nagpapakita ng lahat ng posibleng mga resulta ng mga operasyon para sa anumang data source.

Iyon ay, kung kami ay may ang orihinal na expression - tunay na (1), pagkatapos ay ang kanyang hindi pagsang-ayon ay hindi totoo (0). At kung ang unang expression - maling (0), pagkatapos ay ang kanyang hindi pagsang - tunay na (1).

dagdag

Ang natitirang mga operasyon ay nangangailangan ng dalawang variable. Magpakilala sa isang expression - Ang pangalawang - B. Lohiko operations sa computer denoting karagdagan operasyon (o pagtanggal), o kapag pagsusulat ginamitan ng salitang "o", o may markang "v". Isulat ang mga posibleng pagpipilian para sa data at mga resulta ng mga kalkulasyon.

1. E = 1, n = 1, at E v n = 1. Kung ang dalawang mga expression ay totoo, at pagkatapos ay ang kanilang mga pagtanggal ay totoo rin.
2. E = 0, n = 1, kalaunan E v = H 1 E = 1, H = 0, pagkatapos E v N = 1. Kung Hindi bababa sa isa sa mga expression ay totoo, pagkatapos ay ang resulta ng kanilang mga karagdagan ay totoo.
3. E = 0, H = 0, ang resulta ay E v H = 0. Kung ang parehong expression ay hindi totoo, pagkatapos ay ang kanilang sum ay - isang kasinungalingan.

Para sa kaiklian, lumikha kami ng isang katotohanan mesa.

pagpaparami

Nagkakaproblema Aaksyunan ang karagdagan na operasyon, lumipat sa pagpaparami (kasabay). Ginagamit namin ang parehong mga simbolo, na kung saan ay nai-ibinigay sa itaas para sa karagdagan. Kapag sumusulat ng isang lohikal na pagpaparami ay naitala sa pamamagitan ng "&" na simbolo o ang titik "I".

1. E = 1, n = 1, at E & H = 1. Kung ang dalawang mga expression ay totoo, at pagkatapos ay ang kanilang pagsama - totoo.
2. Kung hindi bababa sa isa sa mga expression - isang kasinungalingan, at pagkatapos ay ang resulta ng lohikal na pagpaparami ding isang kasinungalingan.

• E = 1, N = 0, kaya E & H = 0.
• E = 0, n = 1, at E & H = 0.
• E = 0, H = 0, sa kabuuan E & H = 0.

resulta

Ang lohikal na operasyon sequence (pahiwatig) - sa isa sa mga pinakasimpleng matematikal na lohika. Ito ay batay sa isang solong axiom - sa katotohanan ay hindi maaaring sundin ang isang kasinungalingan.

1. E = 1, N =, kaya E -> N = 1. Kung ang isang mag-asawa ay nasa pag-ibig, pagkatapos ay maaari nilang halik - ang katotohanan.
2. E = 0, n = 1, at E -> N = 1. Kung ang isang pares ay hindi crush, maaari nilang halik - maaari ring maging totoo.
3. E = 0, H = 0, ito E -> N = 1. Kung ang pares ay hindi sa pag-ibig, pagkatapos ay hindi sila halik - ay totoo rin.
4. E = 1, n = 0, ang resulta ay E -> N = 0. Kung ang pares-ibig, sila ay hindi kiss - kasinungalingan.

Upang mapadali ang pagpapatupad ng matematikal na operasyon tulad ng ipinapakita namin ang katotohanan mesa.

pagkakapantay-pantay

Ang huling operasyon ay isasaalang-alang ng isang lohikal na pagkakakilanlan ng pagkakapantay-pantay o pagkapareho. Sa text, maaari itong tinutukoy bilang "... kung at kapag lamang ...". Batay sa pagbabalangkas, isulat namin ang lahat ng mga halimbawa para sa pagsisimula ng ito.

1. A = 1, B = 1, at pagkatapos ay A≡V = 1. Ang taong pag-inom ng tableta at kung lamang kung may sakit. (Tama)
2. A = 0, B = 0, bilang isang resulta A≡V = 1. Man ay hindi uminom ng tablet, at pagkatapos lamang kapag hindi masama. (Tama)
3. A = 1, B = 0, kaya A≡V = 0. Indibidwal tablets uminom kung at tanging kung walang sakit. (Mali)
4. A = 0, B = 1, at pagkatapos ay A≡V = 0. Indibidwal tablet o inumin kung at lamang kung may sakit. (Mali)

mga pag-aari

Kaya, isaalang-alang ang isang simpleng operasyon logic sa computer science, maaari naming simulan upang pag-aralan ang ilan sa kanilang mga katangian. Bilang sa matematika, logic operasyon umiiral sa kanyang pagpoproseso ng order. Sa mga malalaking operasyon lohikal na expression sa mga panaklong ay ginanap muna. Pagkatapos ng mga ito, ang unang bagay na mabibilang namin ang lahat ng mga halaga ng mga halimbawa ng pagtanggi. Ang susunod na hakbang ay ang pagkalkula ng ang pagsama, pagkatapos ay ang pagtanggal. Tanging pagkatapos ay isagawa ang imbestigasyon operasyon at, sa wakas, ang pagkapareho. Isaalang-alang ng isang maliit na halimbawa para sa kalinawan.

A v B & ¬V -> Sa ≡ A

Ang pamamaraan para sa pagsasagawa ng mga sumusunod na mga aksyon.

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

Upang malutas halimbawa na ito, kami ay kailangan upang bumuo ng isang pinalawak na katotohanan mesa. Kapag ito ay nilikha, tandaan na ang mga haligi ay mas mahusay na inilagay sa parehong pagkakasunud-sunod kung saan ay natupad at pagkilos.

Tulad ng maaari naming makita, ang resulta ng mga sample na solusyon ay maaaring ang huling hanay. Ang katotohanan talahanayan ay nakatulong upang malutas ang problema sa anumang mga posibleng pinagmulan ng data.

konklusyon

Sa artikulong ito ay tinalakay ko ang ilan sa mga konsepto ng matematikal na lohika, tulad ng computer science, ang mga katangian ng mga operasyon logic, at - kung ano ang lohikal na operasyon sa kanilang sarili. Ang ilang mga simpleng halimbawa ay ibinigay para sa ang solusyon ng mga problema sa matematika na lohika at katotohanan mesa upang gawing simple ang proseso na ito.