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.