bucephalus.org

Bucanon introduction: How to do boolean algebra with the bucanon program

Abstract

Describes the interface of the bucanon applet, the syntax of the input formulas and the functionality of the possible actions. Explains how sentential/propositional calculus is done with just one process only: the canonization to the prime (disjunctive or conjunctive) normal form.

The text

	BucanonIntro.pdf
	BucanonIntro.ps
	BucanonIntro.dvi

[home] [blog]