Kaasaegsed arvutid põhinevad "vana" elektronarvuteid, sest põhiline tööpõhimõte põhineb teatud postulaadid.Neid nimetatakse seaduste algebra loogika.Esimene selline distsipliin on kirjeldatud (kindlasti mitte nii põhjalikud, et praegusel kujul) Vana-Kreeka teadlane Aristoteles.
Esitades eraldi haru matemaatika, kus me uurime loogika kivi, algebra, loogika on mitmeid hästi joondatud tulemused ja järeldused.
Selleks, et mõista paremini teema, analüüsida kontseptsioone, mis aitab tulevikus õppida seaduste algebra loogika.
Ehk peamine perspektiivis uuring distsipliin - avalduse.Selline kinnitus, et ei saa olla nii õige ja vale.Ta on alati iseloomustab ainult üks nendest omadustest.See tinglikult tõe vastu anda väärtuseks 1, võltsitud dokumentide - 0, ja helistada ise avalduse mõned ladina kirjas: A, B, C Teisisõnu, valem A = 1 tähendab, et pakkumine A on tõene.Mis avaldusi saab tulla mitmeti.Lühidalt kaaluda meetmeid, mida saab teha koos nendega.Märgime ka, et seadused algebra loogika on võimatu õppida tundmata reegleid.
1. eraldatus kaks avaldust - tulemus operatsiooni "või".See võib olla kas vale või õige.Ta kasutab sümbol «v».
2. koostoimes. nendest tuleneda toime pandud kaks avaldust, on uus väide tõene ainult siis, kui mõlemad väited on tõesed allikas.Kasuta "i" sümbol "^".
3. mõjuta. operatsiooni "kui A, siis B".Tulemuseks on avaldus, vale ainult siis, kui tõde A ja B. Seda kasutatakse võltsitud dokumentide sümbol «- & gt;».
4. võrdväärsust.Operation «ainult siis, kui B kui".See väide on tõene, kui mõlemad muutujad on sama hinnangu.Ta kasutab sümbol «& lt; - & gt;».
On ka mitmeid operatsioone, mis on sarnane mõju, kuid see artikkel, siis ei loeta.
nüüd kaaluma üksikasjalikult põhiseadused algebra loogika:
1. kommutatiivne ja kommutatiivne ütleb, et muutus loogiliste operatsioonide sidesõnad või disjunctions tulemuses ei mõjuta.
2. assotsiatiivne või assotsiatiivne.Selle seaduse kohaselt, muutujaid tegevust koos ja lahknemise võib koondada.
3. Distribution või levitamine.Sisuliselt on seaduse, et sama muutujate võrrandeid võib kaasata välja muutmata loogika.
4. Õiguse de Morgan (inversioon või eitamine).Eitades operatsioone on samaväärne konjunktsiooniga lahkmel negation algse muutujaid.Denial of lahtiühendamise omakorda on võrdne koos eitamine sama muutujat.
5. kahekordselt negatiivne.Eitamine avalduse tulemusena kaks korda originaal avalduse kolm korda - selle eitus.
6. idempotency seaduse järgmiselt jaoks loogiline lisaks: xvxvxvx = x;paljunemise: x ^ x ^ x ^ = x.
7. õiguse mitte vastuolu sätestab: kaks avaldust, kui nad on omavahel vastuolus, samas ei saa olla tõsi.
8. õiguse välistada keskel.Kahest vastuolulisi avaldusi üks - alati tõene, teine - vale, ei kesktee.
9. Õiguse imendumine võib kirjutada nii, et loogiline lisaks: xv (x ^ y) = x, paljunemist: x ^ (xvy) = x.
10. Seaduse liimimine.Kaks kõrvuti sidesõnad on võimalik kokku hoidma, moodustades koos madalama auastmega.Kui see on varieeruv, kus algne koostoimes liimitud kaob.Näide loogiline lisaks:
(x ^ y) v (-x ^ y) = y.
Me kaalusime ainult kõige levinum seaduste algebra loogika, mis tegelikult saab olla palju rohkem, sest sageli on loogiline võrrandid omandada pikk ja ehitud välimust, mida saab lõigata, kasutades paljude sarnaste seadustega.
Üldjuhul mugavuse lugedes ja identifitseerimise tulemusi, kasutades spetsiaalseid tabeleid.Kõik olemasolevad seadused algebra loogika tabelis, mis on üldise struktuuri koordinaadistikuruudust värvitud jagades iga muutuja eraldi lahtris.Mida suurem on võrrandis lihtsamalt toime seda kasutades tabelis.
