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