Geodesic
On some Properties of Boolean Functions and Their Binary Decision Diagrams
Mathematics and Education in Mathematics, Tome 40 (2011) no. 1, pp. 259-263 Cet article a éte moissonné depuis la source Bulgarian Digital Mathematics Library

Voir la notice de l'acte

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.
Keywords: Decision Diagrams, Essential Variables, Separable Sets 
@incollection{MEM_2011_40_1_a27,
     author = {Damyanov, Ivo},
     title = {On some {Properties} of {Boolean} {Functions} and {Their} {Binary} {Decision} {Diagrams}},
     booktitle = {},
     series = {Mathematics and Education in Mathematics},
     pages = {259--263},
     year = {2011},
     volume = {40},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a27/}
}
TY  - JOUR
AU  - Damyanov, Ivo
TI  - On some Properties of Boolean Functions and Their Binary Decision Diagrams
JO  - Mathematics and Education in Mathematics
PY  - 2011
SP  - 259
EP  - 263
VL  - 40
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a27/
LA  - en
ID  - MEM_2011_40_1_a27
ER  - 
%0 Journal Article
%A Damyanov, Ivo
%T On some Properties of Boolean Functions and Their Binary Decision Diagrams
%J Mathematics and Education in Mathematics
%D 2011
%P 259-263
%V 40
%N 1
%U http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a27/
%G en
%F MEM_2011_40_1_a27
Damyanov, Ivo. On some Properties of Boolean Functions and Their Binary Decision Diagrams. Mathematics and Education in Mathematics, Tome 40 (2011) no. 1, pp. 259-263. http://geodesic.mathdoc.fr/item/MEM_2011_40_1_a27/