Un thread "partecipativo" (2), scatole e colori ...

[WALTERmwp]

Un altro thread "partecipativo" ...
Un'altra volta niente di particolare, un piccolo esercizio di logica al quale chiunque ha titolo per partecipare.

Anche in tal caso, anticipo subito che se si vuole rispondere, chi vuole provarci lo deve fare, per cortesia, solo inviandomi un MP ed il motivo è semplice: la propria soluzione inserita in un Post vanificherebbe quelle altrui e siccome il proposito è di partecipare ...

Il quiz è probabilmente noto a molti, quindi è chiaro che chi lo conosce, se proprio volesse dare la soluzione, brucerebbe sul tempo gli altri, ma non c'è problema.
L'ho ritrovato sul libro che sto leggendo, ad alcuni risulterà anche banale ma mi pareva simpatico e allora lo ripropongo, qui, ora.
Allora, eccolo.

Avete tre scatolette () ognuna delle quali contiene una pallina colorata; quindi tre palline di colore differente tra loro: .
Non avete idea del colore della pallina contenuta in ogni scatoletta ma ... sapete che solo una delle tre seguenti affermazioni è vera:
i) la scatoletta contiene la pallina rossa
ii) la scatoletta non contiene la pallina rossa
iii) la scatoletta non contiene la pallina blu
Ovviamente, senza sapere quale affermazione sia vera, dovete stabilire il colore della pallina in ogni scatoletta, sennò dovè il divertimento ?

Nello MP, al quale darò rispettosamente conferma della ricezione, oltre alla combinazione scatoletta/colore, dovreste anche riportare brevemente la spiegazione (se vi va) altrimenti ... non vale.

Riporterò poi, in questo thread, solo i nickname(s) vincenti ... che hanno indovinato.
Tempo qualche giorno poi diamo la soluzione ... se non lo conoscete non fate i pigri cercando in rete, provateci da soli, vedrete che è ...facile ?
Buona partecipazione

Saluti

[WALTERmwp]

Il podio comincia a popolarsi, ma di spazio ce n'è, toccherà dichiarare gli ex aequo !
Ah, naturalmente poi vi scrivo qual è il librettino ...

Saluti

[abusivo]

Leggo solo ora, sono ancora in tempo?

[WALTERmwp]

Leggo solo ora, sono ancora in tempo?

ma certamente abusivo !
Altrimenti che partecipazione sarebbe ?
Su questo non si scherza ... aspetto lo MP.

Saluti

[abusivo]

...aspetto lo MP.

Fatto!

[WALTERmwp]

Eccoci quà, chiudiamo, prima della Pasqua, fornendo doverosamente l'elenco dei vincitori, tali, prima ancora per il fatto d'aver indovinato, per essersi prestati al gioco dando senso alla partecipazione, quindi ... in ordine d'apparizione, inflazionando la pratica della taggatura ... :

@fairyvilje, @Gost91, @iosolo35, @sebago, @attilio, @EcoTan, @cronos80, @boiler, @abusivo e @Carlo51 ...
a loro un ringraziamento.

Dunque, la risposta corretta al Post [1] è la seguente:
-> scatoletta == pallina blu
-> scatoletta == pallina rossa
-> scatoletta == pallina verde
mentre l'affermazione "vera" è la (iii) ... perché ?
Beh, almeno la spiegazione la lasciamo sospesa cosicchè qualcuno volesse ancora giocarci potrebbe verificarlo avendo in mano la soluzione.

Il libro dal quale è stato ripreso il piccolo rompicapo si intitola "IL LOGICO E L'INGEGNERE"
sottotitolo "L'alba dell'era digitale", autore Paul Nahin, edito da "Codice edizioni" Torino (codiceedizioni.it), (€ 17,90).
Il titolo originale è "The logician and the Engineer, How George Boole and Claude Shannon Created the Information Age".
Un testo che racconta questa storia attraverso le scoperte e gli esercizi.
Le eventuali recensioni, nel caso qualcuno volesse riportarle, le lascerei a chi l'ha letto o a chi lo leggerà.

Il quiz col quale abbiamo giocato lo si può impostare e risolvere, guarda caso, tramite analisi e applicazione della logica di Boole; lo sviluppo è presente nel libro ma se, senza attingere alla fonte, qualcuno si volesse cimentare nell'esposizione sarebbe certo ben gradito.

Una serena Pasqua a tutti quanti

[abusivo]

Ci sono anch'io sul podio!!!

...a loro un ringraziamento...

Ma grazie a te e ci si legge al prossimo thread partecipativo!

[iosolo35]

Grazie Walter

[Carlo51]

Propongo qui di seguito la soluzione in notazione algebrica booleana al quesito, soluzione derivata da quella espressa in termini discorsivi e da me precedentemente inviata a WALTERmwp.
Mi scuso sin d'ora per la poca pratica nell'editing, nonché per una certa mancanza di rigore ed imprecisione nello sviluppo dovuta ad un più che quarantennale digiuno (tanto lontani sono i tempi dell'Università!) di tali specifiche problematiche.

Notazioni:
X = proposizione X
^X = complemento di proposizione X
Sc = scatola S con pallina di colore c
1 = proposizione vera
0 = proposizione falsa
Yx .and. Zw = 1 (due scatole diverse devono contenere palline diverse)
Yx .and. Zx = 0 (due scatole diverse non possono contenere la stessa pallina)
Yx .or. Yw = 1 (la stessa scatola può contenere in alternativa palline diverse)
Yx .or. Zw = 1 (scatole diverse devono contenere palline diverse)


Proposizioni:
I = Ar = scatola A con pallina rossa
^I = Ab .or. Av = scatola A con pallina blu o verde
II = Bb . or. Bv = scatola B con pallina blu o verde
^II = Br = scatola B con pallina rossa
III = Cv . or. Cr = scatola C con pallina verde o rossa
^III = Cb = scatola C con pallina blu


Sviluppo in algebra di Boole:

Proposizione I:
Ar .and. Br .and. Cb = 0

Proposizione II:
(Ab .or. Av) .and. (Bb .or. Bv) .and. Cb = ((Ab .and. Bb) .or. (Ab .and. Bv) .or. (Av .and. Bb) .or. (Av .and. Bv)) .and. Cb = (0 .or. (Ab .and. Bv) .or. (Av .and. Bb) .or. 0) .and. Cb = (Ab .and. Bv .and. Cb) .or. (Av .and. Bb .and. Cb) = 0 .or. 0 = 0

Proposizione III:
(Ab .or. Av) .and. Br .and. (Cv .or. Cr) = ((Ab .and. Br) .or. (Av .and. Br)) .and. (Cv .or. Cr) = (Ab .and. Br .and. Cv) .or. (Ab .and Br .and. Cr) .or. (Av .and. Br .and. Cv) .or. (Av .and. Br .and. Cr) = (Ab .and. Br .and. Cv) .or. 0 .or. 0 .or. 0 = 1 .or. 0 .or. 0 .or. 0 = 1

Soluzione:
I .or. III .or .III = Ab .and. Br .and. Cv =
scatola A con pallina blu .and.
scatola B con pallina rossa .and.
scatola C con pallina verde