- \n
- Enzo arrived 2 minutes before Oc\u00e9ane<\/em> is a precise statement<\/li>\n
- Enzo arrived before Oc\u00e9ane<\/em> is imprecise. To code it, you have to return to the statement several times, at different stages of the resolution.<\/li>\n<\/ul>\n
When solving a puzzle in a magazine, to represent a Boolean, you can write a letter in boxes. There are 26 letters in the alphabet, which is more than enough. For example, here’s a way to code the following proposition in the puzzle “Jogging on the Beach” as if it appeared in a magazine:<\/p>\n
Enzo arrived 2 minutes before Oc\u00e9ane.<\/p><\/blockquote>\n
![\"\"](\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/08\/booleens01.png\")
\nThis coding establishes the order relationships between the boxes in the Enzo<\/em> line and the Oc\u00e9ane<\/em> line . If Enzo runs for 51 minutes, then Oc\u00e9ane runs for 53 minutes \u2013 this is the Boolean a.<\/em> The same applies to the other Booleans. We also see that some values \u200b\u200bare not possible and are represented by the false<\/em> sign (the cross).<\/p>\nThis coding with letters taken from the alphabet works well on paper where the boxes are small.<\/p>\n
On the Actilud website, however, I chose a different representation. Each Boolean is formed by a letter and a number, and each letter is associated with a color. Booleans are displayed as colored dots:<\/p>\n
![\"\"](\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/08\/booleens02.png\")
<\/p>\nThe previous coding with the booleans {a, b, c, d} here becomes {a1, a2, a3, a4}.<\/p>\n
The advantage is to increase the overall readability of the grid. Indeed, using the same letter associated with different numbers for a given proposition makes it easy to identify the Booleans that fall under this proposition, since each letter is associated with a given color, here blue, which makes it obvious at a glance. But, from a purely logical point of view, the two representations are strictly equivalent.<\/p>\n
Basic Mathematical Rules<\/h1>\n
We will need to know the basic rules of Boolean algebra. These rules are quite intuitive. Let a and b be two Booleans.<\/p>\n
Rule of and<\/em><\/h2>\n
(a and b) is true only if a is true and b is true. In all other cases (a and b) is false.<\/p><\/blockquote>\n
\n\n
\n \u00a0a\u2192
\nb\u2193<\/td>\nFALSE<\/td>\n TRUE<\/td>\n<\/tr>\n \n FALSE<\/td>\n FALSE<\/td>\n FALSE<\/td>\n<\/tr>\n \n TRUE<\/td>\n FALSE<\/td>\n TRUE<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n This rule is cited for the record. We use it implicitly in integrams. Let us take the riddle “kites”. The statement formed by the compound proposition Sandra plays for 30 minutes and has a blue kite<\/em> is true only if the two elements that constitute it, Sandra plays for 30 minutes<\/em> and Sandra has a blue kite<\/em> , are true. Now, since by principle the statements are true ,<\/em> the constituent elements are therefore always true.<\/p>\n
Exclusive or rule ( or )
\n<\/em><\/h2>\n(a or b) is true only if one of the two Booleans is true. In particular, (a or b) is false if both a and b are false or true.<\/p><\/blockquote>\n
This rule is very widely used in integrams; it establishes the alternatives.<\/p>\n
\n\n
\n \u00a0a\u2192
\nb\u2193<\/td>\nFALSE<\/td>\n TRUE<\/td>\n<\/tr>\n \n FALSE<\/td>\n FALSE<\/td>\n TRUE<\/td>\n<\/tr>\n \n TRUE<\/td>\n TRUE<\/td>\n FALSE<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n If both a<\/em> and b are true, either <\/em>(a or b)<\/em> is false. This is certainly true in alternatives. The chapter on alternatives is entirely devoted to this rule, so we won’t dwell on it. Let’s take a simple example to understand:<\/p>\n
Nelly flies her kite for 30 minutes or 50 minutes.<\/p><\/blockquote>\n
We can clearly see that Nelly cannot drive for both 30 and 50 minutes. Only one of these two possibilities is correct. This is a typical case of exclusive or. E<\/em>xclusive or<\/em> can be translated by the phrase: either\u2026, either\u2026, but at the cost of a certain heaviness in the sentence:<\/p>\n
Nelly flies a kite for either 30 minutes or 50 minutes.<\/p><\/blockquote>\n
The expression or<\/em> often takes on the mathematical meaning of exclusive or.\u00a0<\/em><\/p>\n
Here is the associated video (in French for instance) ; if it doesn’t appear, refresh the page.<\/p>\n
- Enzo arrived before Oc\u00e9ane<\/em> is imprecise. To code it, you have to return to the statement several times, at different stages of the resolution.<\/li>\n<\/ul>\n