Nykyaikaiset tietokoneet perustuu "vanha" elektronisia tietokoneita, kuin perus toimintaperiaatteet perustuvat tiettyihin postulates.Niitä kutsutaan lakien algebran logiikan.Ensimmäinen tällainen kuri on kuvattu (ainakaan niin yksityiskohtainen kuin nykymuodossaan) antiikin Kreikan tiedemies Aristoteles.
esittäminen erillinen matematiikan osa, jossa tutkimme propositiologiikka, algebra, logiikka on useita hyvin linjassa havainnot ja johtopäätökset.
Jotta paremmin ymmärtää aihe, analysoida käsitteitä, jotka auttavat tulevaisuudessa oppia lakien algebran logiikan.
Ehkä tärkein termi tutkimuksessa kurinalaisuutta - lausunto.Tällainen toteamus, joka ei voi olla sekä oikean ja väärän.Hän on aina tunnettu vain yksi näistä ominaisuuksista.Tämä ehdollisesti hyväksytty totuus antaa arvoa 1, valhe - 0, ja kutsua itseään selvitys eräiden Latinalaisen kirjain: A, B, C Toisin sanoen, kaava = 1 tarkoittaa, että ehdotus on totta.Lausumia voi tulla monella eri tavalla.Lyhyesti harkita toimia, voit tehdä heidän kanssaan.Toteamme myös, että lait algebran logiikan on mahdotonta oppia tietämättä sääntöjä.
1. Ulkopuolelle kahden lausunnot - operaation tulos "tai".Se voi olla joko väärä tai totta.Se käyttää symboli «v».
2. Conjunction. Tällaisesta teoista kanssa kaksi lausumaa, on uusi lausunto paikkansa vain, jos molemmat lausunnot ovat todellinen lähde.Käytä "i" symboli "^".
3. vaikutuksia. Käyttö "jos, niin B".Tuloksena on selvitys, väärä vain, jos totuus ja B Sitä käytetään valheellisuus symboli «- & gt;».
4. vastaavuuden.Käyttö «jos ja vain jos B, kun".Tämä toteamus pätee, kun molemmat muuttujat ovat samaa arviointia.Se käyttää symboli «& lt; - & gt;».
Myös työvaiheiden, samanlainen implisiittisesti, mutta tässä artikkelissa, niitä ei oteta huomioon.
nyt harkita yksityiskohtaisesti peruslait algebran logiikan:
1. vaihdannainen ja kommutatiivinen todetaan, että muutos kannalta loogiset operaatiot konjunktiot tai Menoja jätetään päätösten ulkopuolelle tuloksen ei ole vaikutusta.
2. assosiatiivista tai assosiatiivinen.Tämän lain mukaan, muuttujien toiminnan yhteydessä ja disjunktiota voidaan ryhmitellä.
3. Jakelu tai jakeluun.Ydin laki on, että sama muuttujat yhtälöt voidaan laskea pois muuttamatta logiikkaa.
4. laki de Morganin (inversio tai kieltäminen).Kieltää toiminta vastaa yhdessä ja erottelu negaation alkuperäisen muuttujia.Kieltäminen erottelu puolestaan vastaa konjunktio negaation samoja muuttujia.
5. Double Negative.Kieltäminen lausuman seurauksena kaksinkertainen alkuperäiseen julkilausuma kolme kertaa - sen negaatio.
6. idempotency lain osalta seuraavasti looginen lisäys: xvxvxvx = x;kertolaskuun: x ^ x ^ x ^ = x.
7. laiksi ristiriita todetaan: kaksi lausumaa, jos ne ovat ristiriitaisia, samaan aikaan ei voi olla totta.
8. lain ulkopuolelle keskellä.Niistä kaksi ristiriitaisia lausuntoja yksi - aina totta, muu - väärä, mitään keskitietä.
9. laki imeytymistä voidaan kirjoittaa siten loogiseen lisäksi: xv (x ^ y) = x, sillä kertominen: x ^ (xvy) = x.
10. Laki liimaus.Kaksi vierekkäistä konjunktiot voivat pysyä yhdessä muodostaen yhdessä arvoltaan alempi.Kun tämä on muuttuja, jossa alkuperäinen yhteydessä liimattu katoaa.Esimerkki looginen lisäksi:
(x ^ y) v (-x ^ y) = y.
Olemme katsoneet vain yleisimmät lakien algebran logiikan, joka itse asiassa voi olla paljon enemmän, kuten usein looginen yhtälöt hankkia pitkän ja koristeellinen ulkonäkö, joka voidaan leikata soveltamalla useita vastaavia lakeja.
Pääsääntöisesti helpotukseksi laskemaan ja tunnistamaan tuloksia käyttämällä erityistä taulukoita.Kaikki olemassa olevat lait algebran logiikan, taulukko, jossa on yleinen rakenne ruudukon suorakulmion maalannut jakamalla kullakin erillisessä solussa.Suurempi yhtälö, helpompi selviytyä sitä käyttämällä taulukossa.
