Moderné počítače založené na "starovekých" elektronických počítačov, ako základné princípy fungovania sú založené na určitých postuláty.Nazývajú sa zákony algebry logiky.Prvá takáto disciplína bola popísaná (iste nie tak podrobné ako v súčasnej podobe) starovekej gréckej vedec Aristotela.
Predstavenie oddelené sektory matematiky, v ktorom študujeme výrokovej logiky, algebry, logika má rad dobre vyrovnaných zistení a záverov.
Aby bolo možné lepšie porozumieť predmet, analyzovať koncepty, ktoré vám pomôžu v budúcnosti naučiť zákony algebry logiky.
Snáď hlavné termín v študijného odboru - v vyhlásení.Tento druh tvrdenie, že nemôže byť a niekedy nie je pravda.Vždy charakterizovaná len v jednom z týchto charakteristík.To podmienečne prijal pravdu, aby hodnotu 1, nepravdu - 0, a nazývať sa vyhlásenie o nejakej latinské písmeno: A, B, C. Inými slovami, formuly A = 1 znamená, že problém A je pravda.S vyhlásenie môže prísť v mnohých rôznymi spôsobmi.Krátko zvážiť kroky, ktoré môžete urobiť s nimi.Berieme na vedomie aj to, že zákony o algebry logiky, že je nemožné naučiť bez znalosti pravidiel.
1. disjunkcia dvoch výrokov - výsledok operácie "alebo".To môže byť buď pravdivé, alebo nepravdivé.Používa symbol «V».
2. súvislosti. výsledkom takýchto činov spáchaných s dva príkazy, bude nová tvrdenie pravdivé len ak obidve tvrdenia sú pravdivé zdroj.Použite "i" symbol "^".
3. dôsledok. operácie ", ak A, potom B".Výsledkom je vyhlásenie, falošný, len ak je pravda A a B. Je používaný faloš symbol «- & gt;".
4. rovnocennosť.Prevádzka «A vtedy a len vtedy, ak B, keď".Toto tvrdenie je pravdivé, keď obe veličiny majú rovnaké posúdenie.Používa symbol «& lt; - & gt;".
K dispozícii je tiež rad operácií, podobne ako samozrejmosť, ale v tomto článku, sa nebudú brať do úvahy.
teraz podrobnejšie zaoberať základné zákony algebry logiky:
1. komutatívna a komutatívna uvádza, že zmena v podmienkach logických operácií konjunkcii alebo disjunkcia vo výsledku nemá žiadny vplyv.
2. asociatívne alebo asociatívne.Podľa tohto zákona, premenné v prevádzke konjunkcia a disjunkcia možno zoskupiť.
3. Distribúcia alebo distribúcie.Podstatou zákona je, že rovnaké premenné v rovniciach možno vytknúť bez zmeny logiku.
4. Zákon de Morgan (inverzie alebo popretie).Popierať operácia je ekvivalentná spojenie disjunkcia negácie pôvodných premenných.Popieranie disjunkcia, podľa poradia, sa rovná spojenie negácie rovnakých premenných.
5. Double Negative.Popretie vyhlásenie za následok dvojnásobok pôvodnej vyhlásenie trikrát - jeho negácia.
Act 6. idempotency takto pre logický navyše: xvxvxvx = x;pre násobenie: x ^ x ^ x ^ = x.
7. Zákon non-rozpor sa uvádza: dva príkazy, ak sú v rozpore, zároveň nemôže byť pravda.
8. zákon o vylúčení tretieho.Medzi týmito dvoma rozpornými vyhláseniami One - vždy pravdivé, inde - falošná, žiadna stredná cesta.
9. Zákon absorpcie môže byť písaný takým spôsobom, k logickým súčtom: xv (x ^ y) = x, pre násobenie: x ^ (xvy) = x.
10. Zákon lepenie.Dve susedné spojky sú schopní sa držať pohromade, tvoria konjunkcii nižšie pozície.Ak je táto je premenná, v ktorom pôvodný spojka lepené zmizne.Príklad logickým súčtom:
(x ^ y) v (-X ^ y) = y.
Zvažovali sme len tie najbežnejšie zákony algebry logiky, ktorý v skutočnosti môže byť oveľa viac, ako je často logické rovnice získavať dlhé a ozdobený vzhľad, ktorý je možné znížiť použitím množstva podobných zákonov.
Spravidla pre pohodlie počítanie a zisťovanie výsledkov pomocou špeciálnych tabuliek.Všetky existujúce zákony algebry logiky, stôl, ktorý má všeobecnú štruktúru mriežky obdĺžnika maľoval distribúciou každej premennej v samostatnej bunke.Čím väčšia je rovnica, tým ľahšie sa s tým vyrovnať pomocou tabuľky.
