Moderne computers gebaseerd op "oude" elektronische computers, zoals de basisbeginselen van het functioneren zijn gebaseerd op bepaalde postulaten.Ze zijn de wetten van de algebra van de logica genoemd.Het eerste discipline is beschreven (zeker niet zo gedetailleerd als in zijn huidige vorm) oude Griekse wetenschapper Aristoteles.
presentatie van een aparte tak van de wiskunde waarin bestuderen we de propositie-calculus, algebra, logica heeft een aantal goed uitgelijnd bevindingen en conclusies.
Om beter te begrijpen van het onderwerp, analyseert concepten die zal helpen in de toekomst aan de wetten van de algebra van de logica te leren.
Misschien is de belangrijkste term in de studie discipline - statement.Dit soort verklaring dat niet kan zowel waar en onwaar.Hij altijd gekenmerkt door slechts één van deze kenmerken.Dit waarheid voorwaardelijk toegelaten tot een waarde van 1, valse geven - 0 en bel zelf een overzicht van enkele Latijnse letters: A, B, C. In andere woorden, de formule A = 1 betekent dat de stelling A klopt.Met uitspraken kan komen in veel verschillende manieren.Kort ingaan op de acties die je kunt doen met hen.We merken ook op dat de wetten van de algebra van de logica is het onmogelijk om te leren zonder te weten de regels.
1. disjunctie van de twee uitspraken - het resultaat van de operatie "of".Het kan ofwel waar of onwaar.Het gebruikt het symbool «v».
2. Combinatie. gevolg van dergelijke handelingen gepleegd met twee verklaringen, zal een nieuwe verklaring geldt alleen als beide uitspraken zijn ware bron.Gebruik de "i" symbool "^".
3. implicatie. Operation "als A, dan B".Het resultaat is een statement, een valse alleen als de waarheid van A en B. Het wordt gebruikt valsheid symbool «- & gt;».
4. De gelijkwaardigheid.Operatie «A als en slechts als B wanneer".Deze uitspraak geldt wanneer beide variabelen hebben dezelfde beoordeling.Het maakt gebruik van het symbool «& lt; - & gt;».
Er is ook een reeks operaties, vergelijkbaar met de implicatie, maar in dit artikel, zullen ze niet worden beschouwd.
nu eens in detail de basiswetten van de algebra van de logica:
1. De commutatieve en commutatieve stelt dat een wijziging in de voorwaarden van logische bewerkingen voegwoorden of disjuncties in het resultaat heeft geen effect.
2. associatieve of associatieve.Volgens deze wet, kan de variabelen in de activiteiten van conjunctie en disjunctie worden gegroepeerd.
3. Distributie of distributie.De essentie van de wet is dat dezelfde variabelen in de vergelijkingen kunnen worden verwerkt zonder verandering van de logica.
4. De wet van de Morgan (omkering of ontkenning).Het ontkennen operaties gelijk is aan de combinatie van scheiding negatie van de oorspronkelijke variabelen.Ontkenning van de scheiding, op zijn beurt, is gelijk aan de verbinding van de negatie van dezelfde variabelen.
5. Double Negative.De ontkenning van een verklaring resulteert in twee keer de oorspronkelijke verklaring drie keer - de negatie.
6. idempotency Act als volgt voor de logische aanvulling: xvxvxvx = x;voor vermenigvuldiging: x ^ x ^ x ^ = x.
7. De wet van niet-contradictie luidt: twee verklaringen als ze tegenstrijdig, op hetzelfde moment kan niet waar zijn.
8. De wet van het uitgesloten midden.Onder de twee tegenstrijdige verklaringen één - altijd waar, anders - vals, geen middenweg.
9. De wet van absorptie kan worden geschreven zodanig logische toevoeging: xv (x ^ y) = x, te vermenigvuldigen: x ^ (xvy) = x.
10. wet bonding.Twee aangrenzende voegwoorden in staat zijn om samen te plakken, de vorming van een combinatie van lagere rang.Wanneer dit de variabele, waarbij de oorspronkelijke verbinding gelijmde verdwijnt.Voorbeeld voor logische aanvulling:
(x ^ y) v (-x ^ y) = y.
We hebben overwogen alleen de meest voorkomende wetten van de algebra van de logica, die in feite veel meer kan zijn, zoals vaak het logische vergelijkingen verkrijgen lange en sierlijke uiterlijk, dat door een aantal soortgelijke wetten kan worden gesneden.
In de regel, voor het gemak van het tellen en identificeren van de resultaten met behulp van speciale tafels.Alle bestaande wetten van de algebra van de logica, de tabel die de algemene structuur van het rooster rechthoek getekend door het verspreiden elke variabele in een afzonderlijke cel.Hoe groter de vergelijking, hoe makkelijker mee om te gaan met de tabel.
