Представления нормализованных формул Full article
| Journal |
Дискретный анализ и исследование операций
ISSN: 1560-7542 |
||
|---|---|---|---|
| Output data | Year: 2022, Volume: 29, Number: 4, Pages: 77-103 Pages count : 27 DOI: 10.33048/daio.2022.29.751 | ||
| Tags | булева функция, нормализованная формула, минимальная формула, представление формулы, П-схема, П-разбиение, нижняя оценка сложности | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0017 |
Abstract:
Определён класс названных П-разбиениями объектов, которые в некотором вполне определённом смысле являются эквивалентами формул в базисе, состоящем из дизъюнкции, конъюнкции и отрицания, в которых отрицания возможны только над переменными (нормализованные формулы). П-разбиения рассматриваются в качестве представлений этих формул подобно тому, как эквивалентами и графическими изображениями тех же самых
формул можно считать П-схемы. Разработана некоторая теория таких представлений, которая по сути является математическим аппаратом, ориентированным на описание класса реализующих линейные булевы функции минимальных нормализованных формул.
Cite:
Рычков К.Л.
Представления нормализованных формул
Дискретный анализ и исследование операций. 2022. Т.29. №4. С.77-103. DOI: 10.33048/daio.2022.29.751 РИНЦ
Представления нормализованных формул
Дискретный анализ и исследование операций. 2022. Т.29. №4. С.77-103. DOI: 10.33048/daio.2022.29.751 РИНЦ
Translated:
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
Identifiers:
| Elibrary: | 49999955 |
Citing:
Пока нет цитирований