bucanon
- a universal software tool for propositional logic

Installation

The bucanon software is available as a Java applet, it doesn't need an installation and can be used right away by going to the BucanonAppletOnline.html. There the bucanon panel, which looks like the image on top of this page, should appear inside your browser.