UDNF

Zhrnutie prednášky

Video ukazuje, ako z pravdivostnej tabuľky odvodiť booleovskú rovnicu pomocou úplnej normálovej disjunktívnej formy (UDNF), teda súčtovej formy. Disjunkcia je súčet, a preto sa pozornosť sústreďuje iba na riadky, kde funkcia F nadobúda hodnotu 1. Pre každý takýto riadok sa vytvorí súčin vstupov A, B a C, pričom vstupy s hodnotou 0 sa negujú, aby celý súčin dal 1. Tieto súčiny (termy) sa potom sčítajú, takže vznikne súčet súčinov s toľkými termami, koľko je v tabuľke jednotiek. Výsledná rovnica nie je najjednoduchšia možná a dá sa zjednodušiť pravidlami booleovej algebry a De Morganovými zákonmi, čo autor nechal ako úlohu.

• - UDNF je spôsob, ako z pravdivostnej tabuľky vyčítať rovnicu funkcie F.
• - Disjunkcia je súčet, preto sa UDNF nazýva aj súčtová forma alebo súčet súčinov.
• - Berú sa do úvahy iba riadky tabuľky, kde má F hodnotu 1.
• - Pre každý riadok s jednotkou sa vytvorí súčin vstupov A, B, C; vstupy s hodnotou 0 sa negujú.
• - Počet termov v rovnici sa rovná počtu jednotiek vo výstupe tabuľky.
• - Získaná rovnica nie je minimálna a dá sa zjednodušiť booleovou algebrou a De Morganovými pravidlami.
• - Druhou metódou je úplná normálová konjunktívna forma (UKNF), ktorej sa video venuje neskôr.

Zhrnutie pripravené s pomocou AI z prepisu videa.