Представления нормализованных формул Научная публикация
| Журнал |
Дискретный анализ и исследование операций
ISSN: 1560-7542 |
||
|---|---|---|---|
| Вых. Данные | Год: 2022, Том: 29, Номер: 4, Страницы: 77-103 Страниц : 27 DOI: 10.33048/daio.2022.29.751 | ||
| Ключевые слова | булева функция, нормализованная формула, минимальная формула, представление формулы, П-схема, П-разбиение, нижняя оценка сложности | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0017 |
Реферат:
Определён класс названных П-разбиениями объектов, которые в некотором вполне определённом смысле являются эквивалентами формул в базисе, состоящем из дизъюнкции, конъюнкции и отрицания, в которых отрицания возможны только над переменными (нормализованные формулы). П-разбиения рассматриваются в качестве представлений этих формул подобно тому, как эквивалентами и графическими изображениями тех же самых
формул можно считать П-схемы. Разработана некоторая теория таких представлений, которая по сути является математическим аппаратом, ориентированным на описание класса реализующих линейные булевы функции минимальных нормализованных формул.
Библиографическая ссылка:
Рычков К.Л.
Представления нормализованных формул
Дискретный анализ и исследование операций. 2022. Т.29. №4. С.77-103. DOI: 10.33048/daio.2022.29.751 РИНЦ
Представления нормализованных формул
Дискретный анализ и исследование операций. 2022. Т.29. №4. С.77-103. DOI: 10.33048/daio.2022.29.751 РИНЦ
Переводная:
Rychkov K.L.
Representations of normalized formulas
Journal of Applied and Industrial Mathematics. 2022. V.16. N4. P.760–775. DOI: 10.1134/S1990478922040160 Scopus РИНЦ OpenAlex
Representations of normalized formulas
Journal of Applied and Industrial Mathematics. 2022. V.16. N4. P.760–775. DOI: 10.1134/S1990478922040160 Scopus РИНЦ OpenAlex
Идентификаторы БД:
| РИНЦ: | 49999955 |
Цитирование в БД:
Пока нет цитирований