bucephalus.org
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.
Documentation

BucanonScreenshots.html
for a quick impression on typical sessions.

BucanonSyntax
(pdf,
ps,
dvi)
1 page
Overview of the syntax of all wellformed input formulas. It is recommended to print out this page.

BucanonIntro
(pdf,
ps,
dvi)
4 pages
Brief introduction for doing boolean algebra with bucanon.

BucanonIntroContinued
(pdf,
ps,
dvi)
3 pages
Motivating theory algebras.

BucanonManual
(pdf,
ps,
dvi)
14 pages
The final reference.

WorldAlg
(pdf,
ps,
dvi)
10 pages
Intuitive explanation of the standard operations of theory algebras.

PNFCanon
(pdf,
ps,
dvi)
36 pages
This paper (called Theory and implementation of efficient canonical systems for sentential calculus, based on Prime Normal Forms) introduces and discusses the core algorithms that run behind the surface.

PropLogicProject.html
for a broader view on propositional logic