Кудрявцев Валерий

Тестирование логических устройств – активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия, яблонского. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики, оно по прав