Šiuolaikiniai kompiuteriai remiantis "senųjų" Elektroniniai kompiuteriai, kaip pagrindiniai veiklos principai yra grindžiami tam tikrų postulatų.Jie vadinami algebra logikos dėsnius.Pirmoji tokia disciplina buvo apibūdinta (tikrai ne kaip išsamiai, jo dabartine forma) senovės graikų mokslininkas Aristotelis.
pateikiant atskirą filialą matematikos, kurioje mes studijuoti teiginių logika, algebra, logika turi gerai suderintus rezultatus ir išvadas, skaičių.
Siekiant geriau suprasti temą, analizuoti sąvokas, kurios padės ateityje išmokti algebra logikos dėsnius.
Galbūt pagrindinis terminas studijų disciplinos - pareiškimas.Šis pareiškimas, dėl kurios gali būti ne tiek teisinga ir neteisinga.Jis visada pasižymi tik viena iš šių savybių.Tai sąlyginai priimta tiesą suteikti reikšmę 1, klaidingumo - 0, ir vadina save iš kai kurių Lotynų laiške pareiškimas: A, B, C. Kitaip tariant, formulė = 1 reiškia, kad teiginys A yra tiesa.Su ataskaitoms gali ateiti įvairiais būdais.Trumpai apsvarstyti veiksmus, kad jūs galite daryti su jais.Mes taip pat pažymi, kad įstatymai algebra logikos neįmanoma išmokti nežinant taisyklių.
1. Padalijimas iš dviejų teiginių - operacijos "arba" rezultatas.Tai gali būti arba neteisingi ar tiesa.Jis naudoja simbolis «V».
2. Jungtukas. rezultatas tokių veikų su dviejų teiginių, bus naujas teiginys tiesa, tik jei abu teiginiai yra teisingi šaltinis.Naudokite "i" simbolis "^".
3. POVEIKIS. Operacija "Jeigu, tada B".Rezultatas yra teiginys, klaidinga tik tada, jei A ir B. A tiesa yra naudojamas Błędność simbolis «- & gt;".
4. lygiavertiškumas.Operacija «A, jei ir tik jei B, kai".Šis teiginys yra tiesa, kai abu kintamieji turi tą patį vertinimą.Jis naudoja simbolis «& lt; - & gt;".
Taip pat operacijų, panašių į netiesiogiai serija, bet šiame straipsnyje, jie nebus laikomi.
dabar išsamiai apsvarstyti pagrindinius įstatymus algebra logika:
1. jungiamas ir jungiamas teigiama, kad į logines operacijas jungtukų ar Atskyrimas rezultate sąlygų pokyčiai neturi įtakos.
2. asociatyvus asociatyvus arba.Pagal šį įstatymą, į kartu ir atsiskyrimo operacijų kintamieji gali būti sugrupuoti.
3. platinti ar platinimas.Įstatymo esmė yra ta, kad tie patys kintamieji lygtis gali būti atsižvelgta iš nekeičiant logiką.
4. de Morgan įstatymas (inversija arba neigimas).Neigia operacijas yra lygiavertis su Padalijimas neigimo pradinių kintamųjų kartu.Neigimas atsiskyrimo, savo ruožtu, yra lygus nuo tų pačių kintamųjų neigimų kartu.
5. Dukart neigiamas.Iš pareiškimo neigimas sukelia dvigubai originalių pareiškimas tris kartus - jo paneigimas.
6. idempotency aktas taip už loginį to: xvxvxvx = x;dauginti: x ^ x ^ x ^ = x.
7. ne prieštarauja įstatymas numato: du pareiškimus, jeigu jie yra prieštaringi, tuo pačiu metu negali būti tiesa.
8. išstumtų viduryje teisė.Tarp dviejų prieštaringų pareiškimų One - visada tiesa, kita - klaidingos, ne vidurį.
9. absorbcijos įstatymas gali būti parašyta tokiu būdu, į loginio to: xv (x ^ y) = x, dauginimo: x ^ (xvy) = x.
10. Teisė klijavimui.Du gretimi jungtukai sugeba laikytis kartu, formuojant žemesnio jungtuką.Kai tai yra kintamasis, kuriame originali jungtukas priklijuotas praeina.Pavyzdys logiška to:
(x ^ y) v (-x ^ y) = y.
Mes svarstėme tik dažniausiai įstatymus algebra logika, kuri iš tiesų gali būti daug daugiau, kaip dažnai loginiai lygtys įsigyti ilgą ir puošnius išvaizdą, kuri gali būti sumažintas taikant panašių įstatymų.
Kaip taisyklė, dėl skaičiavimo ir nustatymo rezultatus naudojant specialias lenteles patogumui.Visi esami įstatymai logikos algebros, lentelė, kuri turi bendrą struktūrą tinklo stačiakampio dažytos platinant kiekvieno kintamojo atskiroje kameroje.Kuo didesnis lygtis, tuo lengviau įveikti su juo, naudojant lentelę.
