Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний