Россия
Россия
Россия
Данная статья посвящена двум фундаментальным понятиям алгебры логики – совершенной дизъюнктивной (СДНФ) и совершенной конъюнктивной (СКНФ) нормальным формам. Эти формы являются своеобразным каноническим «паспортом» булевой функции, позволяющим по её таблице истинности однозначно записать формулу и наоборот. Как по логической функции, её таблице истинности, однозначно восстановить её аналитическую формулу? Зачем это нужно в мире цифровых технологий?
СДНФ, СКНФ, ДНФ, КНФ, совершенная форма, таблица истинности
1. Бабичева И.В. Логика в таблицах, рисунках и схемах. – Москва, 2021.
2. Жуков А.О. Системный анализ : учебное пособие. В 2 ч. Ч. 2 : Математические основы и методы. – Москва, 2023.
3. Бекетов С.М., Зубкова Д.А., Гинцяк А.М., Бурлуцкая Ж.В., Редько С.Г. Современные методы оптимизации и особенности их применения. URL: https://www.rtj-mirea.ru/jour/article/view/1213/749 (дата обращения: 07.05.2026).
4. Экгауз Е.Я., Цылова Е.Г. Минимизация ДНФ и КНФ и её использование при решении текстовых логических задач. URL: https://cyberleninka.ru/article/n/minimizatsiya-dnf-i-knf-i-eyo-ispolzovanie-pri-reshenii-tekstovyh-logicheskih-zadach/viewer (дата обращения: 07.05.2026).
5. Макаренко Ф.В., Зольников В.К., Заревич А.И. [и др.]. Аппроксимация спектра поглощения фосфида индия в контексте моделирования процесса очувствления // Микроэлектроника. – 2024. – Т. 53, № 4. – С. 318-330. – DOIhttps://doi.org/10.31857/S0544126924040041. – EDN ZACOAI.
6. Зольников В.К., Сазонова С.А., Заревич А.И., Башун С.С. Исследование способов защиты информации от утечки по акустическому и виброакустическому каналам // Моделирование систем и процессов. – 2025. – Т. 18, № 2. – С. 27-40. DOI: https://doi.org/10.12737/2219-0767-2025-18-2-27-40
7. Шеховцов Д.В., Плотников А.М., Зольников К.В., Заревич А.И. Технология разработки RTL-модели описания изделия при разработке программно-аналитического комплекса САПР // Моделирование систем и процессов. – 2023. – Т. 16, № 3. – С. 79-86. DOI: https://doi.org/10.12737/2219-0767-2023-16-3-79-86
8. Полуэктов А.В., Зольников К.В., Анциферова В.И. Моделирование колебательных процессов в пакете MVStudium // Моделирование систем и процессов. – 2021. – Т. 14, № 4. – С. 139-148. – DOIhttps://doi.org/10.12737/2219-0767-2021-14-4-139-148. – EDN PPOUDI.
