Other BDD pictures:

• 
  BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
• 
  BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering
• 
  Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering

The following is the RML (Relational Manipulation Language) code that I fed to CrocoPat to produce the GraphViz dot files:

// RML program to generate a BDD graph for the formula
// !x1 & !x2 & !x3  |  x1 & x2  |  x2 & x3,
// using the variable ordering <x1, x2, x3>.
// "crocopat -e BDD_simple.rml" generates a file in dot format.
// "dot -Tsvg BDD_simple.dot -o BDD_Variable_Ordering_Bad.svg"
// generates a file in SVG format from the file in dot format.

// There are two ('Boolean') values for the variables x1, x2, x3.
DOM("0");
DOM("1");

// F is the name of the Boolean formula.
F(x1,x2,x3) :=  (x1="0" & x2="0" & x3="0") 
              | (x1="1" & x2="1")
              | (x2="1" & x3="1");

// Prints the BDD as graph in GraphViz dot format.
PRINT GRAPH( F(x1,x2,x3) ) TO "BDD_simple.dot";

मैं, इस कार्य का/की कॉपीराइट धारक, इसे निम्न लाइसेंसों के अंतर्गत प्रकाशित करता/करती हूँ:

इस दस्तावेज़ को Free Software Foundation द्वारा प्रकाशित GNU मुक्त प्रलेख लाइसेंस के संस्करण 1.2 या नए (बिना किसी अपरिवर्तनीय अनुभागों और अगले या पिछले आवरण के टेक्स्ट के) के अंतर्गत प्रतिलिपि बनाने, बाँटने और/या बदलने की अनुमति प्रदान की जाती है। इस लाइसेंस की एक प्रतिलिपि GNU मुक्त प्रलेख लाइसेंस नामक अनुभाग में शामिल है।http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

	इस फ़ाइल को क्रिएटिव कॉमन्स श्रेय-समानसांझा 3.0 अनांतरित लाइसेंस के अंतर्गत लाइसेंस किया गया है।
	आप खुलकर: बाँट सकते हैं – रचना की प्रतिलिपि बना सकते हैं, बाँँट सकते हैं और संचारित कर सकते हैं रीमिक्स कर सकते हैं – कार्य को अनुकूलित कर सकते हैं निम्नलिखित शर्तों के अंतर्गत: श्रेय – यह अनिवार्य है कि आप यथोचित श्रेय प्रदान करें, लाइसेंस की कड़ी प्रदान करें, और अगर कोई बदलाव हुए हों तो उन्हें इंगित करें। आप ऐसा किसी भी उचित तरीके से कर सकते हैं, लेकिन किसी भी तरह उससे यह नहीं संकेत नहीं किया जाना चाहिए कि लाइसेंसधारी द्वारा आपको अथवा आपके इस प्रयोग का समर्थन किया जा रहा हो। समानसांझा – यदि आप सामग्री को रीमिक्स करते हैं, बदलते हैं, या उस पर आधारित कुछ बनाते हैं, तो आपको अपने योगदान को समान या संगत लाइसेंस के तहत वितरित करना होगा।
	This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

इस फ़ाइल को क्रिएटिव कॉमन्स श्रेय-समानसांझा 2.5 साधारण लाइसेंस के अंतर्गत लाइसेंस किया गया है।

आप खुलकर:

• बाँट सकते हैं – रचना की प्रतिलिपि बना सकते हैं, बाँँट सकते हैं और संचारित कर सकते हैं
• रीमिक्स कर सकते हैं – कार्य को अनुकूलित कर सकते हैं

निम्नलिखित शर्तों के अंतर्गत:

• श्रेय – यह अनिवार्य है कि आप यथोचित श्रेय प्रदान करें, लाइसेंस की कड़ी प्रदान करें, और अगर कोई बदलाव हुए हों तो उन्हें इंगित करें। आप ऐसा किसी भी उचित तरीके से कर सकते हैं, लेकिन किसी भी तरह उससे यह नहीं संकेत नहीं किया जाना चाहिए कि लाइसेंसधारी द्वारा आपको अथवा आपके इस प्रयोग का समर्थन किया जा रहा हो।
• समानसांझा – यदि आप सामग्री को रीमिक्स करते हैं, बदलते हैं, या उस पर आधारित कुछ बनाते हैं, तो आपको अपने योगदान को समान या संगत लाइसेंस के तहत वितरित करना होगा।

https://creativecommons.org/licenses/by-sa/2.5CC BY-SA 2.5 Creative Commons Attribution-Share Alike 2.5 truetrue

आप अपना पसंद का लाइसेंस चुन सकते हैं।