ON SOME PROPERTIES OF BOOLEAN FUNCTIONS AND THEIR BINARY DECISION DIAGRAMS
Ivo Damyanov · Bulgarian Digital Mathematics Library (BulDML) at IMI-BAS (Institute of Mathematics and Informatics) · 2011
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.