Banner
Informatics / TECH / Applets / Binary-Decision Diagram Applet
Description
Enter your logical expression into the applet below, then press 'RETURN". The applet parses the expression, and then generates and displays the corresponding OBDD. Note that you may have to click into the window first, so that the applet gets the keyboard focus.
Expression grammar
Currently, the parser uses the following syntax:
  • + logical OR
  • * logical AND
  • ! logical NOT
  • # logical XOR
  • () parentheses
Expression examples
  • a+b
  • a#b
  • !a
  • (a*b)+(a*c)+(b*c)
  • (a+b)*(a+c)*(b+c)
The applet
Enter your expression here:
 

Sorry, but your browser seems to ignore Java-applets.
Enable Java in your browser preferences,
and reload this page to start the BDD-applet.

Documentation

05.10.98 Impressum
http://tech-www.informatik.uni-hamburg.de/applets/java-bdd/bdd-applet.html