{"id":167,"date":"2023-08-01T16:03:00","date_gmt":"2023-08-01T14:03:00","guid":{"rendered":"https:\/\/actilud.com\/info\/en\/?p=167"},"modified":"2025-03-29T16:03:29","modified_gmt":"2025-03-29T15:03:29","slug":"simplification","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/en\/simplification\/","title":{"rendered":"Simplification"},"content":{"rendered":"<p><span>This technique is used with two alternatives that differ by a single Boolean.<\/span><\/p>\n<p><span><em>Let x and y<\/em> be two booleans .<\/span><\/p>\n<p><span>Let A be an alternative containing booleans (a,b,c\u2026) and a boolean <\/span><em><span>x<\/span><\/em><span> .<\/span><\/p>\n<p><span>Let A&#8217; be an alternative containing the booleans (a,b,c,\u2026) identical to those of A, and the boolean y.<\/span><\/p>\n<p><span>In this case, <\/span><em><span>x=y<\/span><\/em><span> : we can replace one with the other.<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-1054 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55.png\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55.png 428w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55-300x300.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55-150x150.png 150w\" alt=\"\" width=\"428\" height=\"428\" data-src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55.png\" data-srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55.png 428w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55-300x300.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/tech55-150x150.png 150w\" data-sizes=\"(min-width: 960px) 75vw, 100vw\" \/><span>Here <\/span><strong><span>a1=f1<\/span><\/strong><span> .<\/span><\/p>\n<p><span>So, the boolean <\/span><em><span>f1<\/span><\/em><span> of the <\/span><em><span>Oscar\u00a0<\/span><\/em><span> row can be swapped with the boolean <\/span><em><span>a1<\/span><\/em><span> \u2026 Or the boolean <\/span><em><span>a1<\/span><\/em><span> of the <\/span><em><span>Aya<\/span><\/em><span> row can be swapped with the boolean <\/span><em><span>f1.<\/span><\/em><br \/>\n<div style=\"width: 534px;\" class=\"wp-video\"><video class=\"wp-video-shortcode\" id=\"video-167-1\" width=\"534\" height=\"534\" preload=\"metadata\" controls=\"controls\"><source type=\"video\/mp4\" src=\"https:\/\/actilud.com\/fr\/videos\/bools_simplifier.mp4?_=1\" \/><a href=\"https:\/\/actilud.com\/fr\/videos\/bools_simplifier.mp4\">https:\/\/actilud.com\/fr\/videos\/bools_simplifier.mp4<\/a><\/video><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This technique is used with two alternatives that differ by a single Boolean. Let x and y be two booleans . Let A be an alternative containing booleans (a,b,c\u2026) and a boolean x . Let A&#8217; be an alternative containing the booleans (a,b,c,\u2026) identical to those of A, and the boolean y. In this case, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-167","post","type-post","status-publish","format-standard","hentry","category-zebra-puzzles-universal-techniques-to-solve-them-all"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/167","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/comments?post=167"}],"version-history":[{"count":1,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/167\/revisions"}],"predecessor-version":[{"id":168,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/167\/revisions\/168"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/media?parent=167"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/categories?post=167"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/tags?post=167"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}