Podcast o Logické hradlá a Booleova algebra

Kapitoly

Digitálny svet okolo nás

Prísni vrátnici logiky

Zákony a upratovanie v obvodoch

Od teórie k praxi: Sčítačky

Hradlo XOR

Pozor na časté chyby

Vyskúšaj si to vo virtuálnom labe

Viacbitové sčítačky

Kombinačný zámok

Prvý bit a prenos

Výsledok a zhrnutie

Přepis

Viktória: Premýšľali ste niekedy, čo sa presne stane, keď na mobile ťuknete na ikonu aplikácie? Alebo keď stlačíte vypínač a v izbe sa rozsvieti svetlo? Nie je to žiadna mágia.

Filip: Vôbec nie. Je to vlastne len séria extrémne jednoduchých rozhodnutí. Zapnuté alebo vypnuté. Pravda alebo nepravda. Jednotka alebo nula. A práve tento jednoduchý jazyk dvoch stavov je základom fungovania úplne všetkých moderných technológií, ktoré používate.

Viktória: A to všetko vďaka matematike, ktorá vznikla ešte v 19. storočí. Znie to neuveriteľne, však? Počúvate Studyfi Podcast. Takže, Filip, čo je to za tajomnú algebru?

Filip: Volá sa Booleova algebra a prisahám, že to nie je také strašidelné, ako to znie. Je to v podstate len súbor pravidiel, taká gramatika, pre prácu s logickými jednotkami a nulami. Vďaka nej dnes vieme stavať zložité čipy a procesory.

Viktória: Jednotky a nuly... to sú tie známe bity, však? Kde logická 1 znamená „pravda“ alebo „zapnuté“ a 0 znamená „nepravda“ alebo „vypnuté“.

Filip: Presne tak. A v elektronike sa tieto bity spracúvajú pomocou niečoho, čo voláme logické hradlá. Sú to základné stavebné kamene. Najlepšie si ich predstaviť ako takých extrémne prísnych vrátnikov.

Viktória: Prísnych vrátnikov? Dobre, tento prístup sa mi páči. Aký je prvý na zozname?

Filip: Prvým je hradlo AND. To je ako vrátnik vo veľmi exkluzívnom klube. Výstup bude 1, čiže vás pustí dnu, iba vtedy, ak sú VŠETKY vstupy 1. Ak je čo i len jeden vstup 0, máte smolu, dvere sa neotvoria.

Viktória: Rozumiem. Takže ak chcem, aby sa rozsvietila kontrolka, musia byť splnené podmienky A a ZÁROVEŇ B. Logické.

Filip: Perfektne si to vystihla. Potom tu máme jeho oveľa uvoľnenejšieho kolegu, hradlo OR. Jemu stačí, ak je ASPON JEDEN vstup 1, a hneď pustí na výstup jednotku. Je to taký ten typ „poďte ďalej, stačí, že jeden z vás má pozvánku“.

Viktória: Takže pri hradle OR bude výstup 0 len v jedinom prípade – keď sú všetky vstupy 0. A čo ten posledný zo základnej trojky?

Filip: Posledným je hradlo NOT, alebo invertor. To je totálny rebel. Má len jeden vstup a jeho jedinou úlohou je urobiť presný opak. Dáte mu na vstup 1, on vám na výstup dá 0. A naopak. Vždy povie „nie“.

Viktória: Dobre, zhrniem si to. Máme prísneho vrátnika AND, pohodového OR a rebela NOT. A práve toto správanie formalizuje Booleova algebra?

Filip: Presne tak. George Boole definoval zákony, ktoré nám umožňujú s týmito operáciami matematicky pracovať. A čo je najdôležitejšie, zjednodušovať ich. Umožňuje nám „upratať“ v logických výrazoch.

Viktória: Zjednodušovať? Prečo by sme to robili? Nestačí, že to funguje?

Filip: No, predstav si, že navrhuješ čip do mobilu. Zložitejší obvod znamená viac súčiastok, vyššiu spotrebu batérie a často aj nižšiu rýchlosť. Zjednodušenie je ako nájsť elegantnú skratku, ktorá šetrí miesto, energiu aj čas.

Viktória: Aha! Takže je to o efektivite. To dáva zmysel. Máš nejaký príklad, ako také zjednodušenie vyzerá v praxi?

Filip: Jasné, pozrime sa na výraz Q sa rovná A krát B plus A krát NOT B. Znie to zložito a na realizáciu by si potrebovala tri hradlá. Ale pomocou distributívneho zákona môžeme vyňať A. Dostaneme A krát (B plus NOT B).

Viktória: Počkaj... B plus NOT B... ak je B jednotka, tak je to 1 plus 0, čo je 1. Ak je B nula, je to 0 plus 1, čo je tiež 1. Takže tá zátvorka je vždy 1!

Filip: Bingo! Takže náš výraz sa zmení na A krát 1, čo je podľa zákona identity jednoducho A. Zrazu sme zistili, že celý ten zložitý obvod sa správa presne tak isto ako jeden obyčajný drôt pripojený na vstup A.

Viktória: Páni. Takže sme ušetrili tri súčiastky a nahradili ich ničím. To je celkom pôsobivé.

Filip: Presne tak. A toto je len špička ľadovca. De Morganove zákony idú ešte ďalej a umožňujú nám meniť operácie AND na OR a naopak, čo je v dizajne obvodov neuveriteľne mocný nástroj.

Viktória: Dobre, chápem teóriu za tým, ale kde presne v mojom počítači alebo mobile sa toto deje? Ako sa z logických hradiel stane napríklad kalkulačka?

Filip: Výborná otázka! Jednou z úplne najzákladnejších aplikácií je sčítanie binárnych čísel. Na to slúžia obvody, ktoré voláme sčítačky. Sú srdcom každej aritmeticko-logickej jednotky v procesore.

Viktória: Sčítačky... Takže doslova obvody, ktoré vedia sčítať 1 a 0?

Filip: Áno. Začína sa polovičnou sčítačkou, ktorá sčíta dva bity, A a B. Má dva výstupy: Súčet, označený ako S, a prenos do ďalšieho rádu, označený ako Cout. To je ten prípad, keď sčítaš 1 + 1. Výsledok je 0 a 1 ti zostane ako prenos.

Viktória: Ako keď v desiatkovej sústave sčítaš 5 + 5. Výsledok je 0 a 1 sa prenáša ďalej.

Filip: Presne tá istá logika! No a potom máme úplnú sčítačku, ktorá je ešte šikovnejšia. Tá okrem dvoch bitov A a B dokáže spracovať aj prenos z predchádzajúceho rádu. A spájaním týchto úplných sčítačiek za sebou dokážeš sčítať ľubovoľne veľké binárne čísla.

Viktória: Takže z jednoduchých vrátnikov AND, OR a NOT sme sa dostali až k obvodom, ktoré vedia reálne počítať. To je fascinujúce, ako sa z jednoduchej logiky skladajú zložité operácie.

Filip: A to je celé kúzlo digitálnej elektroniky. Všetko, od kalkulačky až po umelú inteligenciu, je v konečnom dôsledku postavené na týchto úplne základných a jednoduchých logických pravidlách.

Viktória: Takže ak som to správne pochopila, s hradlami NAND a NOR si teoreticky vieme postaviť celý počítač. Ale je tu ešte jedno dôležité hradlo, o ktorom sme nehovorili, však? To „exkluzívne“.

Filip: Výborne, Viktória, presne tak! Hovoríš o hradle XOR. To je taký náš malý špecialista v partii.

Viktória: V čom je exkluzívne? Znie to trochu vyberavo.

Filip: Trochu áno. Predstav si ho ako pravidlo „buď jedno, alebo druhé, ale nikdy nie obe naraz“. Výstup je logická 1 iba vtedy, ak sú vstupy RÔZNE.

Viktória: Aha, takže ak mám na vstupoch nulu a jednotku, na výstupe dostanem jednotku. A naopak.

Filip: Presne. Ale ak sú vstupy rovnaké – čiže dve nuly alebo dve jednotky – výstup je nula. Je to „exkluzívne“ OR, lebo vylučuje prípad, kedy platia oba vstupy súčasne. Na rozdiel od obyčajného OR, ktorému to nevadí.

Viktória: A tu sa asi študenti často mýlia, však? Keď si zamenia klasické OR a toto exkluzívne XOR.

Filip: To je úplná klasika. Pri bežnom OR je výstup 1, ak je aspoň jeden vstup 1. Pri XOR musia byť vstupy odlišné. Je to malý rozdiel v definícii, ale pri návrhu obvodov, napríklad sčítačiek, je to absolútne kľúčové.

Viktória: Aké sú ďalšie časté pasce, na ktoré si dať pozor?

Filip: Určite nesprávna interpretácia negácie, hlavne pri zátvorkách. Ľudia často zabúdajú na De Morganove zákony a negujú len časti výrazu. A samozrejme, obyčajné chyby z nepozornosti v pravdivostných tabuľkách. Tam treba byť naozaj dôsledný a prejsť si všetky kombinácie.

Viktória: Znie to tak, že najlepší spôsob, ako sa týmto chybám vyhnúť, je jednoducho si to vyskúšať v praxi.

Filip: Presne! A na to sú ideálne interaktívne simulácie. V našich materiáloch nájdete takéto virtuálne laboratórium, kde si to celé môžete „ohmatať“.

Viktória: Super! Čo všetko si tam môžem otestovať?

Filip: Môžeš začať úplnými základmi. Zapojíš si jednotlivé hradlá, prepínaš vstupy z 0 na 1 a hneď vidíš, čo sa deje na výstupe. Overíš si tak pravdivostné tabuľky na vlastné oči.

Viktória: A môžem stavať aj niečo zložitejšie?

Filip: Jasné. To je ďalší krok. Spojíš si hradlá dokopy a postavíš napríklad polovičnú sčítačku. Krásne uvidíš, ako signál preteká obvodom a ako sa z jednoduchých operácií rodí niečo zmysluplné. Napríklad sčítanie dvoch čísel.

Viktória: To znie ako perfektný spôsob, ako si overiť teóriu. Takže teraz, keď poznáme tieto základné stavebné kamene, je čas pozrieť sa, ako z nich postaviť niečo, čo už naozaj dokáže počítať.

Filip: Presne tak. Poďme sa teraz ponoriť do sveta kombinačných logických obvodov a ukázať si, ako na to.

Viktória: Takže sčítačka bola super, ale čo ďalej? Dá sa to posunúť na ešte vyššiu úroveň?

Filip: Určite! A tu sa to začína byť naozaj zaujímavé. Keď spojíme niekoľko týchto úplných sčítačiek za sebou, vytvoríme viacbitovú sčítačku.

Viktória: Akože... na sčítanie väčších čísel?

Filip: Presne tak. Môžeme si takto postaviť napríklad 4-bitovú sčítačku. Je to skvelý príklad, ako sa z jednoduchých blokov budujú zložitejšie aritmetické jednotky.

Viktória: Dobre, to znie ako pokročilá matematika. Ale spomínal si aj niečo praktickejšie, nejaký zámok?

Filip: Áno, to je vrchol nášho experimentu! Skúsime si navrhnúť jednoduchý kombinačný zámok. Predstav si to ako digitálny trezor.

Viktória: Takže potrebujeme správnu kombináciu, aby sa otvoril?

Filip: Presne. Povieme si, že správny kód je napríklad „jedna-nula-jedna-jedna“. A len pri tejto kombinácii sa na výstupe objaví signál „zámok otvorený“.

Viktória: A na to budeme potrebovať kombináciu tých hradiel, o ktorých sme hovorili, však?

Filip: Správne. Pomocou hradiel AND, NOT a možno aj OR vytvoríme logiku, ktorá ten kód rozpozná. Je to super ukážka, ako sa logické obvody používajú na riadenie.

Viktória: Fantastické. Takže od základov až po malý bezpečnostný systém. Cieľom je teda prepojiť teóriu s praxou.

Filip: Presne tak. A keď už hovoríme o praxi, poďme sa pozrieť na to, kde všade sa s týmito obvodmi reálne stretávame.

Viktória: Takže po tom, čo sme si vysvetlili úplnú sčítačku, poďme si to ukázať na reálnom príklade. Čo tak sčítať tri plus jedna?

Filip: Perfektný nápad. V binárnej sústave je to súčet jedna-jedna a nula-jedna. To je vlastne 11₂ plus 01₂.

Viktória: Dobre, začnime odzadu, od najmenej významného bitu. Máme teda A₀ je jedna a B₀ je tiež jedna.

Filip: Presne tak. A keďže začíname, vstupný prenos Cin je nula. Takže sčítame jedna, jedna a nula. Podľa tabuľky je výsledný bit S₀ nula.

Viktória: Aha, lebo jedna plus jedna je dva, čo je v binárke "jedna-nula". Takže nulu zapíšeme a... čo s tou jednotkou?

Filip: To je náš prenos! Cout₀ sa rovná jedna. A túto jednotku si posúvame ako vstupný prenos do ďalšieho, vyššieho rádu.

Viktória: Rozumiem! Takže v ďalšom stĺpci máme A₁ je nula, B₁ je jedna a teraz aj náš prenos jedna.

Filip: Áno. Takže sčítame nula, jedna a jedna. A čo nám to dá? Zase dva! Takže výsledný bit S₁ je nula a prenos Cout₁ je jedna.

Viktória: A keďže už nemáme čo sčítať, táto posledná prenesená jednotka ide na začiatok. Výsledok je jedna-nula-nula, čo je v desiatkovej sústave štyri. Perfektné!

Filip: Vidíš? A tým sme vlastne prebrali základy digitálnej logiky, od jednoduchých hradiel až po takéto praktické sčítanie.

Viktória: Bolo to skvelé, Filip. Veľká vďaka, že si nám to takto zrozumiteľne vysvetlil. A vám, milí poslucháči, ďakujeme za pozornosť.

Filip: Presne tak. Majte sa krásne a počujeme sa pri ďalšej epizóde Studyfi Podcastu!