LSP - 03 - Dôkaz platnosti de Morganových zákonov

Zhrnutie prednášky

Prednáška dokazuje platnosť oboch De Morganových zákonov v Booleovej algebre pomocou zákona vylúčenia tretieho (A + A' = 1, A · A' = 0). Pre každý zákon sa ukazuje, že výraz a jeho negácia sa v súčte dávajú 1 a v súčine 0, teda že jedno je komplementom druhého. Dôkaz využíva roznásobovanie a vyjmutie pred zátvorku, zákony idempotencie, absorpcie, neutrálnosti 0 a 1 a distributívnosť. Na konci lektor avizuje, že nasledujúce video bude o minimalizácii funkcií pomocou pravidiel Booleovej algebry a Karnaughovej mapy.

• - De Morganove zákony: (A+B)' = A'·B' a (A·B)' = A'+B'.
• - Dôkaz stojí na zákone vylúčenia tretieho: A + A' = 1 a A · A' = 0.
• - Na dôkaz komplementarity treba ukázať, že súčet výrazu a jeho domnelej negácie je 1 a ich súčin je 0.
• - Používajú sa zákony idempotencie, absorpcie, neutrálnosti 0 a 1 a distributívnosť.
• - Rovnaký postup sa použije aj na druhý De Morganov zákon.
• - Nasledujúce video bude o minimalizácii funkcií pomocou Booleovej algebry a Karnaughovej mapy.

Zhrnutie pripravené s pomocou AI z prepisu videa.