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...