From: utzoo!decvax!harpo!floyd!cmcl2!philabs!sdcsvax!sdcattb!hardy
Newsgroups: net.general
Title: Program needed
Article-I.D.: sdcattb.2567
Posted: Wed Jan 26 23:02:11 1983
Received: Sat Jan 29 02:58:12 1983

	I have an engineering friend who is interested in a program
that will provide the complement to a boolean expression with as many as
10 variables. The program will preferably take a symbolic expression as its
input, and provide its answer in the same form. Does anyone have something
like that out there in netland? Please reply to me by mail, thanks.

		Jeff Hardy
		...!sdcsvax!hardy