Анализ избыточности конъюнктивных нормальных форм в задаче проверки их выполнимости::
www.samag.ru
     
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Наука и технологии
Подписка
Где купить
Авторам
Рекламодателям
Магазин
Архив номеров
Вакансии
Контакты
   

  Опросы

Какие курсы вы бы выбрали для себя?  

Очные
Онлайновые
Платные
Бесплатные
Я и так все знаю

 Читать далее...

1001 и 1 книга  
20.12.2019г.
Просмотров: 5478
Комментарии: 0
Dr.Web: всё под контролем

 Читать далее...

04.12.2019г.
Просмотров: 6657
Комментарии: 1
Особенности сертификаций по этичному хакингу

 Читать далее...

28.05.2019г.
Просмотров: 7941
Комментарии: 2
Анализ вредоносных программ

 Читать далее...

28.05.2019г.
Просмотров: 8232
Комментарии: 2
Микросервисы и контейнеры Docker

 Читать далее...

28.05.2019г.
Просмотров: 7224
Комментарии: 0
Django 2 в примерах

 Читать далее...

Друзья сайта  

Форум системных администраторов  

sysadmins.ru

 Анализ избыточности конъюнктивных нормальных форм в задаче проверки их выполнимости

Архив номеров / 2020 / Выпуск №04 (209) / Анализ избыточности конъюнктивных нормальных форм в задаче проверки их выполнимости

Рубрика: Наука и технологии /  Раздел для научных публикаций

Гданский Н.И., зав. кафедрой «Системы автоматизированного управления» Московского государственного университета технологий и управления им. К. Г. Разумовского (Первый казачий университет), Москва, РФ, al-kpp@mail.ru

Денисов А.А., аспирант Московского государственного университета технологий и управления им. К. Г. Разумовского (Первый казачий университет), Москва, РФ, aadenisov88@gmail.com

Анализ избыточности
конъюнктивных нормальных форм в задаче проверки их выполнимости

Рассмотрена препроцессорная обработка формул КНФ в задаче проверки выполнимости. Предложена общая классификация типов избыточности и дан подробный анализ основных видов

1. Введение

Решение целого ряда технических задач сводится к анализу соответствующих моделей, которые можно представить в виде логических функций. Их всегда можно представить в виде эквивалентных конъюнктивных нормальных форм. Условие их истинности имеет вид логического уравнения:

 

<...>


Подпишитесь на журнал
Купите в Интернет-магазине

Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru