Поиск

www.samag.ru

Web

0 товаров , сумма 0 руб.

	Журнал "Системный администратор"
	Журнал «БИТ»
	Наука и технологии
	Подписка
	Где купить
	Авторам
	Рекламодателям
	Архив номеров
	Контакты

Опросы

Статьи

Электронный документооборот

5 способов повысить безопасность электронной подписи

Область применения технологий электронной подписи с каждым годом расширяется. Все больше задач

Рынок труда

Системные администраторы по-прежнему востребованы и незаменимы

Системные администраторы, практически, есть везде. Порой их не видно и не слышно,

Учебные центры

Карьерные мечты нужно воплощать! А мы поможем

Школа Bell Integrator открывает свои двери для всех, кто хочет освоить перспективную

Гость номера

Дмитрий Галов: «Нельзя сказать, что люди становятся доверчивее, скорее эволюционирует ландшафт киберугроз»

Использование мобильных устройств растет. А вместе с ними быстро растет количество мобильных

Прошу слова

Твердая рука в бархатной перчатке: принципы soft skills

Лауреат Нобелевской премии, специалист по рынку труда, профессор Лондонской школы экономики Кристофер

1001 и 1 книга

19.03.2018г.

Комментарии: 0

Потоковая обработка данных

19.03.2018г.

Комментарии: 0

Релевантный поиск с использованием Elasticsearch и Solr

19.03.2018г.

Комментарии: 0

Конкурентное программирование на SCALA

19.03.2018г.

Комментарии: 0

Машинное обучение с использованием библиотеки Н2О

12.03.2018г.

Комментарии: 0

Особенности киберпреступлений в России: инструменты нападения и защита информации

Друзья сайта

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

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

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

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

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

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

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

1. Введение

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

<...>

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

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

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

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

Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru

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

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

1. Введение

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