Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/43815
Title: Ортогонализация системы ДНФ булевых функций
Other Titles: Orthogonalization of the DNF system of boolean functions
Authors: Кардаш, С. Н.
Keywords: материалы конференций;дизъюнктивные нормальные формы;ортогонализация;disjunctive normal forms;orthogonalization
Issue Date: 2021
Publisher: БГУИР
Citation: Кардаш, С. Н. Ортогонализация системы ДНФ булевых функций / С. Н. Кардаш // BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня: VII Международная научно-практическая конференция [Электронный ресурс] : сборник материалов VII Международной научно-практической конференции, Минск, 19-20 мая 2021 года / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2021. – С. 26–30. – Режим доступа : http://bigdataminsk.bsuir.by/files/2021_materialy.pdf.
Abstract: Для решения многих задач синтеза, диагностики и анализа надежности технических систем используется представление булевых функций в виде дизъюнктивных нормальных форм (ДНФ). Часто бывает полезно иметь такие ДНФ, в которых все входящие в них элементарные конъюнкции взаимно ортогональны. Для получения таких ДНФ необходимо проводить ортогонализацию исходных систем ДНФ. В настоящей работе приводится новый алгоритм решения задачи ортогонализации. Сообщается о разработке компьютерной программы, решающей задачу ортогонализации системы ДНФ. Приводятся результаты экспериментального исследования, подтверждающие эффективность разработанного алгоритма.
Alternative abstract: To solve many problems of synthesis, diagnostics and analysis of the reliability of technical systems, the representation of Boolean functions in the form of disjunctive normal forms (DNF) is used. It is often useful to have such DNFs in which all elementary conjunctions included in them are mutually orthogonal. To obtain such DNFs, it is necessary to orthogonalize the original DNF systems. In this paper, we present a new algorithm for solving the orthogonalization problem. The development of a computer program that solves the problem of orthogonalization of the DNF system is reported. The results of an experimental study are presented that confirm the effectiveness of the developed algorithm.
URI: https://libeldoc.bsuir.by/handle/123456789/43815
Appears in Collections:BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : материалы конференции (2021)

Files in This Item:
File Description SizeFormat 
Kardash_Ortogonalizatsiya.pdf1.01 MBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.