Аннотацiя: |
Рассмотрен новый метод минимизации логических функций от n переменных в полиномиальном теоретико-множественном формате, основанный на процедуре расцепления заданных минтермов и обобщенных теоретико-множественных правилах упрощения конъюнктермов разных рангов. Преимущества метода иллюстрируют примеры. |