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