Дата публикации: 2012

Дата публикации в реестре: 2021-08-05T17:51:22Z

Аннотация:

К решению задачи выполнимости сводится важная практическая задача верификации комбинационных логических схем, задачи синтеза логических схем, анализа и построения тестов для дискретных устройств. Более того, аппарат логических уравнений является достаточно универсальным, кроме перечисленных задач из области логического проектирования дискретных устройств к решению логических уравнений могут быть сведены и задачи криптоанализа.

Тип: Статья