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

  Опросы
1001 и 1 книга  
12.02.2021г.
Просмотров: 8580
Комментарии: 2
Коротко о корпусе. Как выбрать системный блок под конкретные задачи

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

11.02.2021г.
Просмотров: 8928
Комментарии: 4
Василий Севостьянов: «Как безболезненно перейти с одного продукта на другой»

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

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

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

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

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

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

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

Друзья сайта  

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

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