МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Рассматривается задача минимизации системы дизъюнктивных нормальных форм (ДНФ) произвольного вида, заданной в матричной форме. Критерием минимизации является общее число различных элементарных конъюнкций в получаемой системе ДНФ. Предлагается оригинальный способ сведения данной задачи к задаче о кра...
Saved in:
Format: | Article |
---|---|
Language: | Russian |
Published: |
National Academy of Sciences of Belarus, the United Institute of Informatics Problems
2018-10-01
|
Series: | Informatika |
Online Access: | https://inf.grid.by/jour/article/view/566 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Рассматривается задача минимизации системы дизъюнктивных нормальных форм (ДНФ) произвольного вида, заданной в матричной форме. Критерием минимизации является общее число различных элементарных конъюнкций в получаемой системе ДНФ. Предлагается оригинальный способ сведения данной задачи к задаче о кратчайшем покрытии, основанный на простой операции пересечения множеств. Приводятся результаты испытаний компьютерной программы. |
---|---|
ISSN: | 1816-0301 |