On some Properties of Boolean Functions and Their Binary Decision Diagrams

Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.

Boolean functions manipulation is an essential component of computer science, including logic optimization, logic verification and logic synthesis. In this paper some initial results about dependency of the graph based presentation of the Boolean functions and the properties of their variables are obtained. *2000 Mathematics Subject Classification: 68R01, 68R10, 68U07.