Practice with BDDs

  • Sista inlämningsdatum Inget inlämningsdatum
  • Poäng 1
  • Frågor 1
  • Tillgänglig efter 23 mar 2020 kl 15:00
  • Tidsgräns Ingen
  • Tillåtna försök Obegränsad

Instruktioner

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).

Ta quizzet