card 45 : bug or i don't understand...

[kapout]

partie 451906499


card 45 : ?*1 or ?*3

solution of the game 431

test 124 : X (wrong)
test 324 : V (right)

with test 124 i suppose there was not a single 1 (maybe 0 or 2 or 3)
with test 324 i suppose the solution is with a single 3

anyway i don't understand how it's wrong with 124 and right with 324 if the solution is 431 (a single 3 AND a single 1)

pardon my french

[brunb]

All cards in the game only know ONE information about the code, wich does not mean that other options are false, just means that this is not the information that the card has.

In this case, the card know that the code has only one number 3, and actually knows nothing about the number 1.

[Jellby]

with test 124 i suppose there was not a single 1 (maybe 0 or 2 or 3)

Why? it could be saying there are not zero 3s (maybe 1, 2 or 3).

with test 324 i suppose the solution is with a single 3

Why? It could be saying there are zero 1s.

How is the machine supposed to know that you are "testing 1s" in the first case and "testing 3s" in the second case? As brunb says, it doesn't. It doesn't care about what you think or what your intent is, it only knows about one criterion, and it's your task to find out which one. With both tests you know that the correct code has either zero 1s or one 3 (or both). The fact that the code is 431 means the verifier only knows about the number of 3s, but you would need to find that out from the other verifiers or with more tests.

[kapout]

Thanks a lot for your answers
it's clearer to me

happy christmas

[Jellby]

By the way, an extra tip: There are two additional "meta" pieces of information: a single code passes all verifiers, and no verifier is redundant. With that you can exclude both "three 1s" and "three 3s". If it was any of those, all other verifiers would be redundant: a single code would pass this verifier, so you would not need the other ones.

[Bluhm]

This criteria card is not explained clearly in the rulebook. Reading the rules I also thought that it would verify "?x1 or ?x3", but this example shows that it is either a verifier for "?x1" or one for "?x3".