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";

Ben, bu işin telif sahibi, burada işi aşağıdaki lisanslar altında yayımlıyorum:

Bu belgenin GNU Özgür Belgeleme Lisansı, Sürüm 1.2 veya Özgür Yazılım Vakfı tarafından yayımlanan sonraki herhangi bir sürüm şartları altında bu belgenin kopyalanması, dağıtılması ve/veya değiştirilmesi için izin verilmiştir; Değişmeyen Bölümler, Ön Kapak Metinleri ve Arka Kapak Metinleri yoktur. Lisansın bir kopyası GNU Özgür Belgeleme Lisansı sayfasında yer almaktadır.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

	Bu dosya, Creative Commons Atıf-Benzer Paylaşım 3.0 Taşınmamış lisansı ile lisanslanmıştır
	Şu seçeneklerde özgürsünüz: paylaşım – eser paylaşımı, dağıtımı ve iletimi içeriği değiştirip uyarlama – eser adaptasyonu Aşağıdaki koşullar geçerli olacaktır: atıf – Esere yazar veya lisans sahibi tarafından belirtilen (ancak sizi ya da eseri kullanımınızı desteklediklerini ileri sürmeyecek bir) şekilde atıfta bulunmalısınız. benzer paylaşım – Maddeyi yeniden düzenler, dönüştürür veya inşa ederseniz, katkılarınızı özgünüyle aynı veya uyumlu lisans altında dağıtmanız gerekir.
	Bu lisanslama etiketi, dosyaya GFDL lisanslama güncelleştirmenin bir parçası olarak eklenmiştir.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

Bu dosya, Creative Commons Atıf-Benzer Paylaşım 2.5 Genel lisansı ile lisanslanmıştır

Şu seçeneklerde özgürsünüz:

• paylaşım – eser paylaşımı, dağıtımı ve iletimi
• içeriği değiştirip uyarlama – eser adaptasyonu

Aşağıdaki koşullar geçerli olacaktır:

• atıf – Esere yazar veya lisans sahibi tarafından belirtilen (ancak sizi ya da eseri kullanımınızı desteklediklerini ileri sürmeyecek bir) şekilde atıfta bulunmalısınız.
• benzer paylaşım – Maddeyi yeniden düzenler, dönüştürür veya inşa ederseniz, katkılarınızı özgünüyle aynı veya uyumlu lisans altında dağıtmanız gerekir.

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

İstediğiniz lisansı seçebilirsiniz.