SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

When it actually comes to expressing the CNF in a text file, the format is a little simpler. It is easy to burn through 26 variables, so they are given numbers instead of letters. The AND is implicit across newlines, a single space represents OR, a - represents NOT. (And for some reason every line ends in a zero as well.) So the above expression would look like

Name:
Mail: (not shown)

Please type this: