Eenvoudige logika bedrywighede in rekenaar

Enigiemand wat begin rekenaarwetenskap studeer, leer die binêre getallestelsel. Dit word gebruik om die logiese operasies te bereken. Oorweeg die volgende al die mees basiese logiese operasies in rekenaarwetenskap. Na alles, as jy daaroor dink, hulle word gebruik om die logika van rekenaars en toestelle te skep.

ontkenning

Voor die aanvang van om te oorweeg in detail lys van die spesifieke voorbeelde van die basiese logiese operasies in 'n rekenaar:

• ontkenning;
• Daarbenewens;
• vermenigvuldiging;
• volg;
• gelykheid.

Ook, voor die aanvang van die studie van logika bedrywighede is om te sê dat in Rekenaarwetenskap lê aangewese "0", maar die waarheid "1".

Vir elke aksie, soos in normale wiskunde, die volgende tekens van logiese operasies gebruik in rekenaarwetenskap: ¬, v, &, ->.

Elke aksie moontlik om enige nommers 1/0, of net logiese uitdrukkings beskryf. Om die oorweging van wiskundige logika begin met 'n eenvoudige operasie met net een veranderlike.

Logiese ontkenning - inversie aksie. Die bottom line is dat as die aanvanklike uitdrukking - die waarheid, die inversie gevolg is - 'n leuen. Aan die ander kant, as die aanvanklike uitdrukking - die waarheid - 'n leuen, dan is die resultaat sal 'n omkering wees.

By die skryf van hierdie uitdrukking gebruik ons die volgende notasie "¬A".

Ons gee waarheidstabel - 'n kring wat al die moontlike resultate van bedrywighede vir enige bron data toon.

Dit wil sê, as ons die oorspronklike uitdrukking - waar (1), dan is sy ontkenning vals (0). En as die aanvanklike uitdrukking - valse (0), dan is sy ontkenning - waar (1).

Daarbenewens

Die oorblywende bedrywighede vereis twee veranderlikes. Dui een uitdrukking - 'N Tweede - B. Logiese bedrywighede in rekenaar monogram Daarbenewens werking (of disjunksie), of wanneer dit skriftelik deur die woord "of" aangewese, of gemerk "V". Skryf moontlike opsies vir data en resultate van berekeninge.

1. E = 1, n = 1, dan E v N = 1. As die twee uitdrukkings waar is, dan is ook waar hulle disjunksie.
2. E = 0, n = 1, uiteindelik E v = H 1 E = 1, H = 0, dan E v N = 1. As ten minste een van die uitdrukkings waar is, dan is die resultaat van hul Daarbenewens is waar.
3. E = 0, H = 0, is die resultaat E v H = 0. As albei uitdrukkings is vals, dan is hulle som ook - 'n leuen.

Vir bondigheid, skep ons 'n waarheidstabel.

vermenigvuldiging

Nadat het gehandel oor die toevoeging operasie, skuif na vermenigvuldiging (samewerking). Ons gebruik dieselfde simbole, wat hierbo vir bykomend gegee het. By die skryf van 'n logiese vermenigvuldiging word aangedui deur die "&" simbool of die letter "I".

1. E = 1, n = 1, dan E & H = 1. As die twee uitdrukkings waar is, dan hul samewerking - waar is.
2. As ten minste een van die uitdrukkings - 'n leuen, dan is die gevolg van die logiese vermenigvuldiging is ook 'n leuen.

• E = 1, N = 0, so E & H = 0.
• E = 0, n = 1, dan E & H = 0.
• E = 0, H = 0, 'n totaal van E & H = 0.

gevolg

Die logiese operasie volgorde (implikasie) - in een van die eenvoudigste wiskundige logika. Dit is gebaseer op 'n enkele stelling - van die waarheid 'n leuen nie kan volg.

1. E = 1, N =, so E -> N = 1. As 'n paartjie is in die liefde, dan kan hulle soen - die waarheid.
2. E = 0, n = 1, dan E -> N = 1. As 'n paar nie onderdruk, kan hulle soen - kan ook waar wees.
3. E = 0, H = 0, hierdie E -> N = 1. As die paar is nie in liefde, dan sal hulle nie soen - is ook waar.
4. E = 1, N = 0, is die resultaat E -> N = 0. As die paar liefde, hulle nie soen - leuen.

Om die uitvoering van wiskunde te fasiliteer as ons waarheidstabel te bied.

gelykheid

Die laaste operasie sal oorweeg word op 'n logiese identiteit gelykheid of ekwivalensie. In die teks, kan dit verwys na as "... as en slegs as ...". Op grond van hierdie formulering, skryf ons almal voorbeelde vir die begin van hierdie.

1. A = 1, B = 1, dan A≡V = 1. Die persoon drink tablette as en slegs as siek. (Ware)
2. A = 0, B = 0, as gevolg A≡V = 1. Die mens drink nie tablette, en dan slegs wanneer dit nie siek. (Ware)
3. A = 1, B = 0, so A≡V = 0. Individuele tablette drink as en slegs as geen kwaad nie. (Vals)
4. A = 0, B = 1, dan A≡V = 0. Individuele tablette of drink as en slegs as siek. (Vals)

eienskappe

So, kyk na 'n eenvoudige logika bedrywighede in rekenaarwetenskap, kan ons begin om 'n paar van hul eiendomme te studeer. Soos in wiskunde, logika bedrywighede bestaan in sy orde verwerking. In groot operasies eerste logiese uitdrukkings in hakies uitgevoer. Na hulle die eerste ding wat tel ons al die waardes in die voorbeeld van ontkenning. Die volgende stap is die berekening van die samewerking, dan is die ontwrigting. Eers dan uit te voer die ondersoek operasie en, uiteindelik, die ekwivalensie. Dink aan 'n klein voorbeeld vir duidelikheid.

A v B & ¬V -> Op ≡ A

Die prosedure vir die uitvoering van die volgende aksies.

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

Ten einde hierdie voorbeeld op te los, sal ons moet 'n uitgebreide waarheidstabel te bou. Wanneer dit geskep is, onthou dat die kolomme beter in dieselfde volgorde waarin uit en sal uitgevoer word aksie geplaas word.

Soos ons kan sien, sal die resultaat van die monster oplossing die laaste kolom wees. Die waarheid tafel het gehelp om die probleem op te los met 'n moontlike bron data.

gevolgtrekking

In hierdie artikel het ek 'n paar van die konsepte van wiskundige logika, soos rekenaarwetenskap, die eienskappe van logika bedrywighede bespreek, en - wat is die logiese bedrywighede op hul eie. 'N paar eenvoudige voorbeelde gegee vir die oplossing van probleme in wiskundige logika en waarheidstabelle om hierdie proses te vereenvoudig.