{"id":50,"date":"2006-08-20T02:12:41","date_gmt":"2006-08-20T01:12:41","guid":{"rendered":"http:\/\/www.blog.sudocue.net\/?p=50"},"modified":"2021-09-15T21:14:24","modified_gmt":"2021-09-15T20:14:24","slug":"logic-discussions","status":"publish","type":"post","link":"https:\/\/www.blog.sudocue.net\/?p=50","title":{"rendered":"Logic Discussions"},"content":{"rendered":"<p>I have started a thread on the Sudoku Discussions forum about the use of logic in Sudoku. The discussion started off pretty good, but it now seems to be stalling at logic notation. Good links were placed and I&#8217;m trying to catch up on\u00c2&nbsp;lots of the material. The question remains: how do we use logic in sudoku?<\/p>\n<p>Here is an example:<\/p>\n<p>Take a bivalue cell C. It has 2 candidates, C1 and C2. One of them must be true, the other one false. We can write this as: (C1 v C2), ~(C1 &amp; C2). This works fine with 2 candidates, but how about 3, or 9?<\/p>\n<p><!--139686f24c03e531a2d0355bfa568831--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>I have started a thread on the Sudoku Discussions forum about the use of logic in Sudoku. The discussion started off pretty good, but it now seems to be stalling at logic notation. Good links were placed and I&#8217;m trying to catch up on\u00c2&nbsp;lots of the material. The question remains: how do we use logic [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-50","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/posts\/50","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=50"}],"version-history":[{"count":1,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/posts\/50\/revisions"}],"predecessor-version":[{"id":66,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=\/wp\/v2\/posts\/50\/revisions\/66"}],"wp:attachment":[{"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=50"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=50"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blog.sudocue.net\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=50"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}