Questions tagged [conjunctive-normal-form]
For questions about boolean formulas in a conjunctive normal form (CNF), i.e. a disjunction (ANDs) of literals, in the context of artificial intelligence.
1
question
2
votes
0answers
81 views
How to translate sudoku XV boards in CNF format?
I'm trying to implement the logic for a Sudoku XV puzzle, that it's essentially a standard sudoku with the addition of X and V markers between some pairs of squares. X markers in adjacent pairs ...