Open AccessРАЗВЕРТКА БУЛЕВЫХ ФУНКЦИЙ
Author(s) -
Алексей Борисенко
Publication year - 2021
Publication title -
grail of science
Language(s) - Russian
Resource type - Journals
ISSN - 2710-3056
DOI - 10.36074/grail-of-science.25.06.2021.036
Subject(s) - computer science
В ряде практических задач компьютерной логики встречается задача преобразования (развертки) булевых функций, представленных в КНФ, в СКНФ. Например, такая задача встречается при их минимизации. Решение этой задачи при большом количестве дизъюнкций в КНФ может вызвать затруднение. Поэтому с целью уменьшения количества вычислительных операций предлагается использовать промежуточную КНФ в виде ОКНФ. Она состоит из несовместимых дизъюнкций, которые имеют инверсные переменные по отношению друг к другу.