Khan.randRange(4,6) Khan.randRange(8,12) threeSAT_KA.initJSAV(clausecnt,literalcnt)

Your task in this exercise is to find out an assignment of the boolean variables that makes the expression true or declare that no such assignment exists.

Assign the variables appropriately to satisfy the expression.

Click on the variable once to assign it true , twice to assign it false and thrice to reset.

Not Satisfiable
[threeSAT_KA.userInput]
if (!threeSAT_KA.checkAnswer() && !guess[0]) return ""; // User did not click, and correct answer is not // initial array state else return threeSAT_KA.checkAnswer();

[threeSAT_KA.getSolution()]