TIP: Přetáhni ikonu na hlavní panel pro připnutí webu
Tento díl nebude příliš dlouhý, bude to pouze taková tabulka, která obsahuje různé zákony, ze kterých se dá vycházet, a kterých využívá například jazyk C++ při vyhodnocování podmínek spojených pomocí logických výrazů.
Jazyk C++ konkrétně využívá zákonu o agresivitě hodnot, kdy kontroluje jeden výraz a pokud je například v logickém součtu tento výraz pravdivý, nemusí pokračovat kontrolováním druhého výrazu. A naopak pokud je u logického součtu jedna hodnota nepravdivá, nemusí kontrolovat druhou.
Věřím, že některé zákony budete znát již ze základní školy (například zákon komutativní či asociativní).
Nejdůležitější částí ale bude De Morganův zákon a zákon dvojí negace.
De Morganovy zákony budeme využívat co nevidět při tvorbě, spíše při návrhu, integrovaných obvodů. To bude nejspíš přespříští díl tohoto seriálu.
