Message Boards Message Boards

1 Reply
0 Total Likes
View groups...
Share this post:

How to convert lengthy boolean formulas to CNF format

Posted 9 years ago

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

Posted 9 years ago

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.

POSTED BY: Bill Simpson
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
or Discard

Group Abstract Group Abstract