[net.general] Program needed

hardy (01/27/83)

	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