Некоторые критерии преобразования логических формул к дизъюнктивной нормальной форме
Боковая панель статьи
Опубликован:
Mar 19, 2023
Ключевые слова:
преобразования, логическая формула, функциональный элемент, синтез, дизъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, локальный метод
Основное содержимое статьи
Аннотация
В статье рассматриваются некоторые важные проблемы преобразования логических формул общего вида, построенные на базе логические операций, импликация, эквивалентности, сложение по модулю 2 и Шеффера к виду дизъюнктивной нормальной формы и оценки их сложности. Предложен локальный метод преобразование логических формул общего вида к совершенной диъюнктивной и конъюнктивной нормальной формы.
Информация о статье
Как цитировать
Байжуманов, А. (2023). Некоторые критерии преобразования логических формул к дизъюнктивной нормальной форме. Международный Журнал Теоретических и Прикладных Вопросов Цифровых Технологий, 3(1), 25–33. извлечено от https://ijdt.uz/index.php/ijdt/article/view/59
Выпуск
Раздел
Articles