prošireni sažetak izlaganja sa skupa
Computing minimal DNF of Boolean functions for digital implementations
Sažetak
The key step in the application of BDDs is a variable order for Shannon expansion which allows efficient operations with Boolean functions, e.g., their minimization. As it was shown in the example, the minimization of Boolean functions can be used to produce optimal digital circuits for the implementation of an important class of cryptographic functions. In addition to that, this topic presents open problems for further research in the field of combinatorial optimizations, such as variable ordering in Shannon expansion and set covering problem. It is also important to mention that the properties of Boolean (Bent) functions can be further elaborated by research on graph properties of BDDs and their variants.
Ključne riječi
Boolean functions, DNF, BDD