Loogiline seadused

Kaasaegsed arvutid põhinevad "vana" elektronarvuteid, tugineda teatud postuleerib peaprintsiipides operatsiooni. Neid nimetatakse seaduste algebra loogika. Esimene selline distsipliin on kirjeldatud (kindlasti mitte nii üksikasjalik kui selle praegusel kujul) poolt Vana-Kreeka õpetlane Aristoteles.

Esindavad eraldi haru matemaatika, mis uurib Lauseloogika, algebra loogika on mitmeid hästi joondatud tulemused ja järeldused.

Selleks, et mõista paremini teema, analüüsida mõisteid, mis aitavad tulevikus teada seadused algebra loogika.

Ehk peamine mõiste uuring distsipliin - avaldus. Selline kinnitus, et ei saa olla nii tõene ja väär. Ta alati omane ainult üks neist omadustest. Seega annavad tingimisi aktsepteeritud tõde väärtus 1 valelikkus - 0, kõne avalduse ise mõned Ladina kirja: A, B, C Teisisõnu valemiga A = 1 tähendab, et pakkumine A on tõsi. Mis avaldused võib tulla mitmel erineval viisil. Põgus pilk meetmetele, mida saate teha koos nendega. Pange tähele, et seadused algebra loogika on võimatu õppida teadmata reegleid.

1. lahtiühendamise kaks avaldust - tulemus operatsiooni "või". See võib olla kas vale või õige. Ta kasutab sümbol «v».

2. koostoimes. Tulemus selline toime pandud kaks avaldust, saab uue avalduse tõsi ainult siis, kui mõlemad väited on tõesed originaal. Kasuta "ja" operatsiooni, sümbol "*".

3. mõju. Operation "kui A, siis B". Tulemuseks on avaldus, vale ainult siis, kui tõde ja vale B. Kohaldatav sümbol "->".

4. ekvivalendina. Operation «A siis ja ainult siis, kui V millal." See väide on tõene, kui mõlemad muutujad on sama hinnangu. Kasutage sümboliga "<->".

On ka mitmeid operatsioone, mis on sarnane mõju, kuid see artikkel, siis ei saa pidada.

Vaadelgem nüüd üksikasjalikult põhilisi seadusi algebra loogika:

1. kommutatiivne ja kommutatiivne märgitakse, et muudatuse loogiliste operatsioonide koos või lahtiühendamise tulemusest mingit mõju.

2. assotsiatiivne või assotsiatiivne. Selle seaduse kohaselt, muutujate tegevuse koos ja lahtiühendamise võib rühmitada.

3. jaotamine või levitamine. Sisuliselt seadus on, et sama muutujate võrrandeid saab välja võtta sulgudes, ei muuda loogika.

4. seaduste de Morgan (inversioon või eitust). Eitust operatsiooni on samaväärne lahtiühendamise koostoimes negation sisendmuutujaid. Eitus lahkmel omakorda võrdub sidesõna eituse sama muutujaid.

5. Double Negative. Eitamine avalduse kaks korda tulemuseks esialgse avalduse, kolm korda - tema eitamine.

6. Law Idempotentsus järgmiselt loogiliste lisaks: xvxvxvx = x; paljundamiseks: x ^ x ^ x ^ = x.

7. õiguse mitte-vastuolu sätestab: kaks avaldust, kui need on vastuolulised, samal ajal olla tõsi ei saa.

8. õigusega välja keskel. Kahest vastuolulisi avaldusi üks - on alati tõsi, ja teine - vale, ei ole kolmandale.

9. imendumise õiguse saab kirjutada nii loogiline lisaks: xv (x ^ y) = x, paljundamiseks: x ^ (xvy) = x.

10. õiguse liimimine. Kaks kõrvuti sidesõnad suudavad jääda kokku, moodustades koos madalama auastme. Kui see on muutuja, mille originaal sidesõnad liimitud kaob. Näide loogiliste lisaks:

(X ^ y) v (-x ^ y) = y.

Me kaalusime ainult kõige levinum seaduste algebra loogika, mis tegelikult võib olla palju rohkem, kui sageli loogiline võrrandid pikk ja ehitud välimust, mida saab lõigata, rakendades mitmeid sarnaseid seadusi.

Üldjuhul mugavuse lugedes ja identifitseerimiseks tulemusi, kasutades spetsiaalseid tabeleid. Kõik olemasolevad seadused algebra loogika, tabeli, mis on üldine ülesehitus koordinaadistikuruudust värvitud jagades iga muutuja eraldi lahtris. Mida suurem on võrrand, seda lihtsam on sellega toime tulla, kasutades tabelis.