Russian Federation
Russian Federation
Russian Federation
This article is devoted to two fundamental concepts of Boolean algebra – the perfect disjunctive normal form (PDNF) and the perfect conjunctive normal form (PCNF). These forms serve as a kind of canonical "passport" for a Boolean function, allowing one to uniquely write the formula based on its truth table, and vice versa. How can one uniquely recover the analytical formula of a logical function from its truth table? Why is this needed in the world of digital technologies?
PDNF, PCNF, DNF, CNF, perfect form, truth table
1. Babicheva I.V. Logika v tablicah, risunkah i shemah. – Moskva, 2021.
2. Zhukov A.O. Sistemnyy analiz : uchebnoe posobie. V 2 ch. Ch. 2 : Matematicheskie osnovy i metody. – Moskva, 2023.
3. Beketov S.M., Zubkova D.A., Gincyak A.M., Burluckaya Zh.V., Red'ko S.G. Sovremennye metody optimizacii i osobennosti ih primeneniya. URL: https://www.rtj-mirea.ru/jour/article/view/1213/749 (data obrascheniya: 07.05.2026).
4. Ekgauz E.Ya., Cylova E.G. Minimizaciya DNF i KNF i ee ispol'zovanie pri reshenii tekstovyh logicheskih zadach. URL: https://cyberleninka.ru/article/n/minimizatsiya-dnf-i-knf-i-eyo-ispolzovanie-pri-reshenii-tekstovyh-logicheskih-zadach/viewer (data obrascheniya: 07.05.2026).
5. Makarenko F.V., Zol'nikov V.K., Zarevich A.I. [i dr.]. Approksimaciya spektra pogloscheniya fosfida indiya v kontekste modelirovaniya processa ochuvstvleniya // Mikroelektronika. – 2024. – T. 53, № 4. – S. 318-330. – DOIhttps://doi.org/10.31857/S0544126924040041. – EDN ZACOAI.
6. Zol'nikov V.K., Sazonova S.A., Zarevich A.I., Bashun S.S. Issledovanie sposobov zaschity informacii ot utechki po akusticheskomu i vibroakusticheskomu kanalam // Modelirovanie sistem i processov. – 2025. – T. 18, № 2. – S. 27-40. DOI: https://doi.org/10.12737/2219-0767-2025-18-2-27-40
7. Shehovcov D.V., Plotnikov A.M., Zol'nikov K.V., Zarevich A.I. Tehnologiya razrabotki RTL-modeli opisaniya izdeliya pri razrabotke programmno-analiticheskogo kompleksa SAPR // Modelirovanie sistem i processov. – 2023. – T. 16, № 3. – S. 79-86. DOI: https://doi.org/10.12737/2219-0767-2023-16-3-79-86
8. Poluektov A.V., Zol'nikov K.V., Anciferova V.I. Modelirovanie kolebatel'nyh processov v pakete MVStudium // Modelirovanie sistem i processov. – 2021. – T. 14, № 4. – S. 139-148. – DOIhttps://doi.org/10.12737/2219-0767-2021-14-4-139-148. – EDN PPOUDI.
