KompjûtersYnformaasjetechnology

Ienfâldige logika operaasjes yn kompjûter

Elkenien dy't begjint te stúdzje kompjûter wittenskip, lear it binêr getal systeem. It wurdt brûkt om te bepalen de logyske operaasjes. Tink oan de folgjende alle meast elemintêre logyske operaasjes yn kompjûter wittenskip. Ommers, as jo tinke deroer, se wurde brûkt foar it meitsjen fan 'e logika fan kompjûters en apparaten.

ûntkenning

Foardat begjint te beskôgje yn detail de spesifike foarbylden list de basis logyske operaasjes yn in kompjûter:

  • ûntkenning;
  • addition;
  • flere;
  • folgje;
  • lykweardigens.

Ek, foardat begjint de stúdzje fan 'e logika operaasjes wol sizze dat yn Ynformatika leit oanwiisd "0", mar de wierheid "1".

Foar elke aksje, lykas yn normale wiskunde, de folgjende tekens fan logyske operaasjes brûkt yn kompjûter wittenskip: ¬, v, &, ->.

Eltse aksje mooglik te omskriuwen alle nûmers 1/0, of gewoan logyske úterings. Om te begjinnen de ôfwaging fan wiskundige logika mei in simpele operaasje mei help fan mar ien fariabele.

Logyske ûntkenning - omkearing operaasje. De ûnderste line is dat as de oarspronklike útdrukking - de wierheid, de omkearing resultaat is - in leagen. Oarsom as de oarspronklike útdrukking - leagen, dan it resultaat sil in omkearing - de wierheid.

As it skriuwen fan dizze útdrukking brûke wy de neikommende notaasje "¬A".

Wy jouwe wierheid tafel - in sirkwy dat toant alle mooglike resultaten fan operaasjes foar eltse boarne gegevens.

De wierheid tafel foar omkearing
A x oer
¬A oer x

Dat is, as wy hawwe de oarspronklike útdrukking - true (1), dan moat syn ûntkenning Net-wier is (0). En as de oarspronklike útdrukking - false (0), dan har ûntkenning - true (1).

addition

De oerbleaune hannelingen easkje twa fariabelen. Tsjutten one mieningsutering - In twadde - B. Logyske operaasjes yn kompjûter beskate konteksten addition operaasje (of disjunction), of by it skriuwen oanwiisde troch it wurd "of", of markearje "v". Skriuw out mooglike opsjes foar data en resultaten fan berekkenings.

  1. E = 1, n = 1, dan E v n = 1. As de twa uteringen binne wier, dan harren disjunction is ek wier.
  2. E = 0, n = 1, úteinlik E v = H 1 E = 1, H = 0, dan E v N = 1. As Op syn minst ien fan 'e ekspresjes is wier, dan it resultaat fan har Boppedat is wier.
  3. E = 0, H = 0, it resultaat is E v H = 0. As beide uterings binne falsk, dan harren bedrach is ek - in leagen.

Foar brevity, kreëarje wy in wierheid tafel.

disjunction
E x x oer oer
H x oer x oer
E v H x x x oer

multiplication

Nei't behannele mei de tafoeging eksploitaasje, ferhúzje nei flere (bynwurd). Wy brûke deselde symboalen, dy't hawwe jûn boppe for oanfolling. As it skriuwen fan in logyske flere wurdt oantsjutten mei de "&" symboal of de letter "ik".

  1. E = 1, n = 1, dan E & H = 1. As de twa uteringen binne wier, dan harren konjunksje - wier.
  2. As op syn minst ien fan 'e uteringen - leagen, dan it gefolch fan' e logyske flere is ek in leagen.
  • E = 1, N = 0, dus E & H = 0.
  • E = 0, n = 1, dan E & H = 0.
  • E = 0, H = 0, yn totaal E & H = 0.
bynwurd
E x x 0 0
H x 0 x 0
H & E x 0 0 0

resultaat

Logyske operaasje oanlieding fan de (oanbefelingen) - ien fan de simpelste yn wiskundige logika. It is basearre op in inkele axiom - fan 'e wierheid kin net folgje in leagen.

  1. E = 1, N =, dus E -> N = 1. As in pear is fereale, dan kinne se tútsje - de wierheid.
  2. E = 0, n = 1, dan E -> N = 1. As in pear net tepletsje, se kinne kiss - miskien ek wier wêze.
  3. E = 0, H = 0, dizze E -> N = 1. As it pear is net yn de leafde, dan se net tút - is ek wier.
  4. E = 1, n = 0, it resultaat is E -> N = 0. As it pear leafde, se net tút - leagen.

Om skewiele de útfiering fan de wiskundige operaasjes as wy presintearje wierheid tafel.

oanbefelingen
E x x oer oer
H x oer x 0
E -> H x oer x x

gelikensens

De lêste operaasje wurdt beskôge in logyske identiteit lykweardichheid of lykweardigens. Yn de tekst, dan kin it wurde oantsjutten as "... oft en allinne as ...". Based on dizze formulearring, wy skriuwe alle foarbylden foar begjinpunt dit.

  1. A = 1, B = 1, dan A≡V = 1. De persoan drinken tafels oft en allinne as siik. (True)
  2. A = 0, B = 0, as gefolch A≡V = 1. De minske hat gjin drinken tabletten, en dan pas doe net siik. (True)
  3. A = 1, B = 0, dus A≡V = 0. Yndividueel tabletten drinken oft en allinne as net siik. (Net- wier)
  4. A = 0, B = 1, dan A≡V = 0. Yndividueel tablets of drinke oft en allinne as siik. (Net- wier)
lykweardigens
A x oer x oer
de x oer 0 x
A≡V x x oer oer

eigenskippen

Dus, beskôgje in ienfâldige logika operaasjes yn kompjûter wittenskip, kinne wy begjinne te bestudearje guon fan harren eigenskippen. Lykas yn de wiskunde, logika operaasjes bestean yn syn bestelling ferwurkjen. Yn grutte operaasjes logyske uteringen tusken heakjes wurde útfierd earst. Nei't se, it earste dat wy rekkenje alle wearden yn it foarbyld fan leagenjen. De folgjende stap is de berekkening fan de konjunksje, dan de disjunction. Allinne dan fiere it ûndersyk operaasje en, as lêste, de lykweardigens. Betink in lyts foarbyld foar dúdlikens.

A v B & ¬V -> At ≡ A

De proseduere foar it útfieren fan de neikommende aksjes.

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

Om te lossen dit foarbyld, wy sille moatte bouwe in útboud wierheid tafel. Doe't it waard oanmakke, tink dat de pylders wurde better pleatst yn deselde folchoarder wêryn wurdt útfierd en aksje.

solution foarbyld
A de

¬V

Yn & (¬V)

In v (V & (¬V))

(A v (B & (¬V))) -> B

((A v (V & (¬V))) -> B) ≡A

x oer x oer x x x
x x oer oer x x x
oer oer x oer oer x oer
oer x oer oer oer x oer

Sa't wy sjen kinne, it gefolch fan 'e stekproef oplossing sil de lêste kolom. De wierheid tafel hat holpen op te lossen it probleem mei alle mooglike boarne gegevens.

konklúzje

Yn dit artikel haw ik besprutsen guon fan 'e begripen wiskundige logika, lykas computer wittenskip, de eigenskippen fan' e logika operaasjes, en - wat is it logyske operaasjes op har eigen. Guon ienfâldige foarbylden hawwe jûn foar de oplossing fan de problemen yn wiskundige logika en wierheid tabellen te ferienfâldigjen dit proses.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 fy.unansea.com. Theme powered by WordPress.