logic equations

[coltoff at burdvax.UUCP]

	I am looking for an algorithm ( or code - any language )
that takes as input logic equations in any form and gives the
sum of products form as output. The final output may have up to
8 OR terms or 16 AND terms.
	Can anyone out there give me any assistance here?


	             |--------|
	   2B -------|        |
	             |   OR   |----------> 2B + /2B
	  /2B -------|        |
	             |--------|

Sorry about that.

	- Joel
	{psuvax,presby,bpa}!burdvax!coltoff