Szekvenciális logika

A szekvenciális logika a digitális eszközök memóriájának logikája. A "szekvenciális" név visszajut az angolra. szekvenciális. A megfelelő logikát szekvenciális logikának is nevezhetjük. bár ez utóbbi kifejezést elsősorban a logikai automatákkal kapcsolatban használják.







A szekvenciális logika különbözik a kombinációs logikától abban az értelemben, hogy a digitális eszközöket modellezi, figyelembe véve működésük történetét (azaz feltételezik, hogy van olyan memória, amelyet a kombinációs logika nem tartalmaz).

A szekvenciális logika a diszkrét matematika egyik szakasza. A digitális áramkörök elméletének keretén belül a kombinációs logikával szoros kapcsolatban áll. Boole algebra és véges automaták. Az operációs folyamattól függően a digitális eszközök szinkron és aszinkron részekre oszthatók. Ennek megfelelően viselkedésük szinkron vagy aszinkron logika hatálya alá tartozik.

Szinkron szekvenciális logika

A memóriával rendelkező eszközök logikai modellezésében különleges szerepet kap az idő tényezője, amelyet a szinkron sémákban természetesen figyelembe vesz a véges automatika taktikája. Az intézkedések meghatározzák a pillanatokat, amikor az automatika állapota megváltozik, vagyis a megfelelő funkció szinkronizálódik.







Aszinkron szekvenciális logika

A memóriahatás kifejezésére szolgáló aszinkron szekvenciális logika az állapotváltozás pillanataiban használatos, amelyek nem explicit formában vannak megadva, hanem a logikai mennyiségek "előbb-utóbb" elvének összehasonlításakor. Az aszinkron logika esetében elegendő megállapítani az állapotváltozás sorrendjét, függetlenül attól, hogy bármilyen kötés valós vagy virtuális időpontban van-e. A szekvenciális logika elméleti berendezése a szekvenálás és a szalagok matematikai eszközei, valamint az ezeken alapuló logikai-algebrai egyenletek.

Ez a kifejezés más jelentéseket is tartalmaz, lásd a Szekvenciát.

A szekvencia (Latin szekvencia - szekvencia) a proposicionális elemek sorrendje, amelyet

Egy szekvencián keresztül a z = φ (⟨x⟩) bináris függvény megvalósul. hogy a z = 1 csak abban az esetben fordul elő

A szekvenciális függvényt az egységek egységértékekké konvertálják, amelyek telepítése váltakozva történik,

A Venjunction

A venjunction egy aszimmetrikus logikai-dinamikus művelet ∠. mely szerint az x ∠ y kapcsolat csak x ∧ y = 1 esetén veszi figyelembe az egységértéket, feltéve, hogy x = 1 létrehozásakor az y = 1 egyenlőség már megtörtént.

A venjunkció igazságát az x = 0/1 kapcsolása okozza az y = 1 háttérével szemben.

A logikai bizonytalanságot egy nyílással fejezzük ki: 1 ∠ 1.

A Venjunction és a minimális (kételemű) szekvenciák funkcionálisan azonosak: x ∠ y = ⟨y x⟩.

végrehajtás

A venjunction a szekvenciális logikai memória fő működési eleme. Az egyenlőség alapján valósul meg

A szekvenszer összeolvadt zsinórokonok összetételén alapul. Például végrehajtani




Kapcsolódó cikkek