Summary of Hogyan tervezzünk logikai áramkört igazságtáblázatból

## Logikai áramkör tervezése igazságtáblázatból A digitális elektronika és a számítástechnika alapját a logikai áramkörök képezik. Ezek az áramkörök bináris (kétállapotú) jelekkel dolgoznak, amelyek általában „igaz” ($1$) és „hamis” ($0$) logikai értékeket, vagy „magas” és „alacsony” feszültségszinteket reprezentálnak. Egy logikai áramkör tervezésének célja, hogy egy adott bemeneti kombinációra a kívánt kimeneti állapotot produkálja. A tervezési folyamat gyakran egy igazságtáblázattal kezdődik, amely pontosan leírja az áramkör viselkedését. ### Mi az az igazságtáblázat és a logikai függvény? > Az **igazságtáblázat** egy olyan táblázatos forma, amely egy logikai függvény összes lehetséges bemeneti kombinációját és a hozzájuk tartozó kimeneti értékeket sorolja fel. Ha egy áramkörnek $N$ darab bemenete van, akkor $2^N$ különböző bemeneti kombináció létezik. Minden sor egyedi bemeneti kombinációt és az ahhoz tartozó kimeneti értéket mutatja. Például egy két bemenetű ($A$, $B$) és egy kimenetű ($Y$) áramkör igazságtáblázata $2^2 = 4$ sort tartalmaz. > Egy **logikai függvény** (más néven Boole-függvény) egy matematikai kifejezés, amely a bemeneti változók és logikai műveletek (ÉS, VAGY, NEM, XOR stb.) segítségével írja le a kimeneti értéket. Az igazságtáblázatból közvetlenül levezethető egy logikai függvény, amely az áramkör viselkedését pontosan tükrözi. Did you know, hogy a modern számítógépekben található összes összetett művelet, mint például az összeadás vagy a kivonás, alapvetően egyszerű logikai kapuk (ÉS, VAGY, NEM) kombinációjára vezethetők vissza, amelyek az igazságtáblázatokon alapulnak? ### Az igazságtáblázattól a Boole-kifejezésig Az igazságtáblázatból két fő **kanonikus (szabványos) forma**ban lehet Boole-kifejezést alkotni: 1. **Kanonikus diszjunktív normálforma (K-DNF)** Ez a forma a kimenet „igaz” ($1$) értékeit veszi alapul. Minden olyan sort, ahol a kimenet $1$, egy **minterm** (termék-tag) reprezentál. > A **minterm** az összes bemeneti változó konjunkciója (ÉS művelete), ahol a változókat negáljuk (NEM művelet), ha az igazságtáblázatban $0$ értékűek, és eredeti formájukban hagyjuk, ha $1$ értékűek. A K-DNF kifejezés ezeknek a mintermeknek a diszjunkciója (VAGY művelete). *Példa mintermre*: Ha a bemenetek $A=0$, $B=1$, $C=0$, és a kimenet $Y=1$, akkor a minterm $A' \cdot B \cdot C'$ (ahol $A'$ a NEM $A$-t jelöli). 2. **Kanonikus konjunktív normálforma (K-KNF)** Ez a forma a kimenet „hamis” ($0$) értékeit veszi alapul. Minden olyan sort, ahol a kimenet $0$, egy **maxterm** (összeg-tag) reprezentál. > A **maxterm** az összes bemeneti változó diszjunkciója (VAGY művelete), ahol a változókat negáljuk, ha az igazságtáblázatban $1$ értékűek, és eredeti formájukban hagyjuk, ha $0$ értékűek. A K-KNF kifejezés ezeknek a maxtermeknek a konjunkciója (ÉS művelete). *Példa maxtermre*: Ha a bemenetek $A=0$, $B=1$, $C=0$, és a kimenet $Y=0$, akkor a maxterm $A + B' + C$. Általában a K-DNF-et használjuk, mert intuitívabb az „igaz” kimenetekre fókuszálni. *Példa igazságtáblázatból K-DNF-re:* Készítsünk egy áramkört, amely akkor ad $1$-es kimenetet, ha pontosan két bemenete ($A, B, C$) $1$-es. | A | B | C | Y | |---|---|---|---| | 0 | 0 | 0 | 0 | | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 0 | | 0 | 1 | 1 | 1 | (A' $ \cdot $ B $ \cdot $ C) | 1 | 0 | 0 | 0 | | 1 | 0 | 1 | 1 | (A $ \cdot $ B' $ \cdot $ C) | 1 | 1 | 0 | 1 | (A $ \cdot $ B $ \cdot $ C') | 1 | 1 | 1 | 0 | Az $Y$ kimenet akkor $1$, ha a bemenetek $(0,1,1)$, $(1,0,1)$ vagy $(1,1,0)$. Így a K-DNF kifejezés: $$Y = (A' \cdot B \cdot C) + (A \cdot B' \cdot C) + (A \cdot B \cdot C')$$ ### Logikai kifejezések minimalizálása Miután az igazságtáblázatból megkaptuk a kanonikus Boole-kifejezést, a következő lépés a **minimalizálás**. A minimalizálás célja, hogy a logikai kifejezést a lehető legegyszerűbb formára hozzuk, ami kevesebb logikai kaput és ezáltal olcsóbb, gyorsabb és megbízhatóbb áramkört eredményez. A minimalizálás történhet Bo