Hi there, i need to know how to convert large boolean formulas to CNF format. I tried this in the standard WolframAlpha Query page, but this doesnt seem to work. I also tried to use the Data-Input option, but it doesnt seem to recognize boolean formula formats. Any help would be appreciated. Greetings Elnaser
Without a small example it is difficult to tell what you tried, but this small example does work with WolframAlpha
small boolean conversion to cnf
Perhaps you can try your query using exactly that notation and see if it works.
If it doesn't work and trying data input with exactly that notation doesn't work then appending your data file to a post here might make it a little more likely that someone would refer your example to the right person.