Prohlížení dle předmětu "algoritmus Quine-McCluskey"
Zobrazují se záznamy 1-1 z 1
-
Minimalizace normálních tvarů
; Vedoucí práce: Starý Jan; Oponent práce: Šimeček Ivan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-09)Cílem této bakalářské práce je vytvořit program, který uživateli vrátí, na základě jím zadané formule výrokové logiky, minimální disjunktivní, resp. konjunktivní normální tvary této výrokové formule. Přípravné analytické ...