bináris összeadó
Vipera - egy elektronikus logikai áramkör, amely elvégzi az összegzése bináris számokat.
Kiegészítés, mindenekelőtt a központi hub a számtani logikai egység a számítógép, de az is használható más eszközökkel a gép.
A multi-bites bináris összeadó. szánt kívül több-bites bináris számok kombinációja egybites kiegészítőt egy szempont, amit kezdeni. Symbol egybites összeadó látható. 2.6.
Ezen kívül a és b számok az i-edik kisülési az egyik, hogy kezelni három ábrán:
ábra ai az első ciklus;
ábra bi második ciklus;
átadása a pi-1 LSB.
Ennek eredményeként a hozzáadásával a két szám kapunk:
ci ábra az összeget;
pi átadása mentesítés idősebb.
Így van egy bites bináris összeadó eszköz három bemenettel és két kimenettel. amelynek működése leírható a következő igazság táblázat:
Ha szükséges adjunk hozzá bináris szavak hosszát két vagy több bit, lehetséges, hogy egy sor kapcsolat kiegészítőket, két szomszédos kiegészítőt készítsen kiadási összeadó bemenetét a másik.
Például, az összeg számítási áramkör C = (c3 C2 C1 c0) a két háromjegyű bináris számok A = (a2 a1 a0) és B = (b2 b1 b0) lehetnek:
Az alapvető törvényei matematikai logika
A Boole algebra, a következő alapvető törvényeket, amelyek lehetővé teszik, hogy készítsen azonos átalakítások logikai kifejezés:
Alaptörvényei matematikai logika
De Morgan szabályok
Működés a változó és inverzének
Működés állandók
Egyszerűsítése logikai képletek
Megfelelő átváltási logikai képletek ugyanazt a funkciót, mint az átszámítási képlet normál algebra. Ezek arra szolgálnak, hogy egyszerűsítse a képletek, vagy azokat egy sajátos formája a használata alapvető törvényei a matematikai logika.
Az egyszerűsített képlet. tartalmazó nincs kihatással és az egyenértékűség műveletek észre egyenértékű konverzió. vezet a képlet, amely tartalmazza vagy képest a kezdeti minimális számú összefüggésben és a szétválás műveletek és nem tartalmaz negatívok nonelementary képletek vagy tartalmaz minimális számú előfordulásának változók.
Néhány transzformációk logikai képletek történő átalakítását hasonló képletek rendes algebra (kivetése közös tényező ki a konzolok, használja a kommutatív és asszociatív törvények, stb), míg mások alapján az átalakítás tulajdonságai nem rendelkezett rendes működését algebra (a disztributív törvény kötőszavak , abszorpciós törvények, ragasztás, de Morgan és munkatársai.).
Megmutatjuk néhány példát a technikák és módszerek a egyszerűsítés logikai képletek:
(Logikai törvények vonatkoznak az alábbi sorrendben: a jogállamiság de Morgan, asszociatív, törvény változó műveletek inverzét, és általában műveletek állandók);
(Szabályzat De Morgan, kivették a zárójelben a közös tényező, általánosan használt változó tevékenységének a inverzió);
(Ismételt második tényező, hogy a törvény által megengedett idempotentsii ;. És egyesíti az első két és az utolsó két tényező, a törvény használt ragasztó);
(Enter kisegítő logikai faktor () ezután egyesítjük két külső és két középső szempontjából logikus és használt abszorpciós jog);
(Első arra törekszenek, hogy a tagadás jele állt csak előtte az egyes változók, hanem előtte azok kombinációi kettős felhasználású szabály de Morgan, majd használja a törvény a kettős tagadás);
(Kiveszik a zárójelben a közös tényezők, a szabály vonatkozik a műveletek állandók);
(K negatívok nonelementary képletek a szabály De Morgan, használt törvények kettős tagadás és ragasztás);
(X kiszabott közös faktora zárójelben, a kifejezéseket zárójelben egyesítjük - az első és a második és harmadik a negyedik, a szabály vonatkozik a diszjunkciót művelet változó annak inverzét);
(Elosztó jog használják diszjunkciót művelet szabály változó annak inverzió, a szabály műveletek állandók kommutatív jog és elosztó törvény kötőszók);
(Általában használt de Morgan-törvény a kettős tagadás és a törvény a felszívódás).
Ezek a példák azt mutatják, hogy az egyszerűsítés a logikai formulák nem mindig egyértelmű, melyik a törvények a matematikai logika kell alkalmazni egy adott lépésben.