LogikaiAlgoritmusok - 7 segment BDD diagram

# http://formal.cs.utah.edu:8080/pbl/BDD.php

Var_Order : a b c d e f g

bdd0 = a & b & c & d & e & f & ~g
bdd1 = ~a & b & c & ~d & ~e & ~f & ~g
bdd2 = a & b & ~c & d & e & ~f & g
bdd3 = a & b & c & d & ~e & ~f & g
bdd4 = ~a & b & c & ~d & ~e & f & g
bdd5 = a & ~b & c & d & ~e & f & g
bdd6 = a & ~b & c & d & e & f & g
bdd7 = a & b & c & ~d & ~e & ~f & ~g
bdd8 = a & b & c & d & e & f & g
bdd9 = a & b & c & d & ~e & f & g

method = bdd0 | bdd1 | bdd2 | bdd3 | bdd4 | bdd5 | bdd6 | bdd7 | bdd8 | bdd9

sub_True = 1

Main_Exp : method <=> sub_True