This document describes graphical and algebraic ways to minimize boolean functions.  It includes a Java program that you can use to experiment with the algebraic algorithm outlined below.

From: http://babbage.cs.qc.edu/courses/Minimize/