Cílem práce je analýza a vytvoření výukové pomůcky, která studentům i vyučujícím pomůže při vizualizaci a krokování základních algoritmů pro hledání testovacích vektorů pro logické obvody. V~současné chvíli sice existují ...