Ortogonalization of the DNF System of Boolean Function |
|
|
|
|
Authors |
| Kardash S.N. |
Date of publication |
| 2022 |
DOI |
| 10.31114/2078-7707-2022-1-21-25 |
|
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. |
Keywords |
| boolean function, disjunctive normal form, orthogonality of elementary conjunctions. |
Library reference |
| Kardash S.N. Ortogonalization of the DNF System of Boolean Function // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2022. Issue 1. P. 21-25. doi:10.31114/2078-7707-2022-1-21-25 |
URL of paper |
| http://www.mes-conference.ru/data/year2022/pdf/D004.pdf |