МЕТОД ПОСТРОЕНИЯ БУЛЕВОЙ ФОРМУЛЫ МНОГОУГОЛЬНИКА В ДИЗЪЮНКТИВНОЙ НОРМАЛЬНОЙ ФОРМЕ

Аннотация

Дорабатывается метод нахождения булевой формулы многоугольника в дизъюнктивной нор-мальной форме, изложенный в работе [1]. Усовершенствованный метод устраняет недостаток, связанный с существованием класса задач, для которых решение находится лишь приближенно, и всегда позволяет находить точное решение. Метод может быть использован, в частности, в сис-темах автоматизированного проектирования топологии интегральных схем.