Logica logică este logica memoriei dispozitivelor digitale. Numele "secvențial" revine în limba engleză. secvențială. Logica corespunzătoare poate fi menționată și ca logică secvențială. deși ultimul termen este folosit în principal în legătură cu automatele logice.
Logica secvențială diferă de logica combinațională prin aceea că modelează dispozitivele digitale ținând cont de istoria funcționării lor (adică se presupune că există o memorie care nu este prevăzută în logica combinațională).
Logica secvențială este o secțiune a matematicii discrete. Se dezvoltă în cadrul teoriei circuitelor digitale în strânsă legătură cu logica combinațională. Algebra booleană și automate finite. În funcție de procedura de operare, dispozitivele digitale sunt împărțite în sincron și asincron. În consecință, comportamentul lor este supus logicii sincrone sau asincrone.
Logică secvențială sincronă
În modelarea logică a dispozitivelor cu memorie, rolul special este atribuit factorului de timp, care în schemele sincrone este în mod natural luat în considerare de tactica automatului finit. Măsurile determină momentele în care starea automatului se schimbă, adică funcția corespunzătoare este sincronizată.
Logică secvențială asincronă
logica secvențială asincronă pentru a exprima efectul de memorie utilizează momentele de schimbare a condițiilor care sunt stabilite nu în mod explicit, ci se bazează pe compararea valorilor logice pe un „înainte-după“. Pentru logica asincronă, este suficient să se stabilească ordinea schimbării stărilor, indiferent de legături la timpul real sau virtual. Aparatul teoretic al logicii secvențiale este instrumentele matematice ale secvențierii și venjuncțiunilor, precum și ecuațiile logic-algebrice bazate pe ele.
Acest termen are și alte semnificații, a se vedea secvența.
Secvența (secvența latină - secvență) este o secvență de elemente propoziționale, reprezentată de
Cu ajutorul unei secvențe, se realizează funcția binară z = φ (⟨x⟩). astfel încât z = 1 să apară numai în acest caz
Funcția secvențială este convertită în unitate pentru valorile unitare ale argumentelor, instalarea acestora fiind efectuată alternativ,
Venjuncția
O venŃiune este o operație logică și dinamică asimetrică ∠. conform căruia legătura x ∠ y ia o valoare unitară numai în cazul x ∧ y = 1, cu condiția ca la momentul stabilirii lui x = 1 egalitatea y = 1 să aibă deja loc.
Adevărul vențiunii este cauzat de comutarea x = 0/1 pe fundalul y = 1.
Incertitudinea logică este exprimată prin intermediul unei venții: 1 ∠ 1.
Venjuncția și secvența minimă (cu două elemente) sunt identice din punct de vedere funcțional: x ∠ y = ⟨y x⟩.
punerea în aplicare
Ventjuncția este principalul element operațional al memoriei logice secvențiale. Ea se realizează pe baza egalității
Sequencerul este construit pe baza unei compoziții de vezicule concatene. De exemplu, pentru a implementa