Practice with BDDs

  • Due No due date
  • Points 1
  • Questions 1
  • Available after 28 Mar 2022 at 15:00
  • Time limit None
  • Allowed attempts Unlimited

Instructions

Spend some time practicing BDDs:

  1. Make up a formula with 3 or 4 variables and derive its truth table and BDD. Compare the BDD to the truth table.
  2. Make up a random BDD and try to derive the truth table and its formula.

You can also try this web page with an interactive visualization of BDDs by Christopher Chedeau. It allows you to enter your own formula and derive a BDD from it (step 1) and also has a small selection of random formulas that you can try out (step 2; you can look at the BDD and see if you can derive the truth table and formulas from it).

Take the quiz