Gioco di logica

E' proprio così, Ele.
Il discorso dei cannibali e dei missionari era solo un punto di inizio per sviluppare il discorso delle reti logiche e dei metodi per risolverle, che in questo forum non è mai stato trattato.

Si potrebbe arrivare anche a realizzare via hardware il gioco così come l'ho descritto, ma sarebbe un discorso complicato, perchè occorrerebbe creare anche la rete logica "Barca", da caricare e scaricare con vari pulsanti e anche nelle 2 sponde bisognerebbe mettere un selezionatore della persona da far salire sulla barca. Sinceramente non credo che ne valga la pena.

Nel futuro vorrei fare anche questo: (se non volete rovinarvi la sorpresa è meglio che non apriate lo spoiler )



Temo che il discorso stia prendendo una deriva più elettronica che informatica, quindi finiremo probabilmente per andare in OT. Dopo tutto già lo sapevo che sarebbe finita così, dato che era proprio mia intenzione portare avanti una discussione trasversale a varie materie.


Vai, vai, Gila che dopo i PIC ti impari anche le reti logiche. All'epoca facesti veramente dei begli esperimenti.

Bella l'idea dello script per cercarsi le soluzioni.
Direi che il suo lavoro l'abbia fatto bene, visto che le soluzioni trovate sono 22 come nella mia tabella della verità (fatta "a mano").

Io il Phyton non lo conosco. Avevo iniziato a studiarmelo, perchè è molto usato, ma non mi ha preso il fatto che le identazioni decidono quali istruzioni sono dipendenti da altre (for, while, ecc.), quindi basta un'identazione in più o in meno per scombussolare completamente il flusso del programma.
Certo, se uno ci sta attento ed è ordinato il discorso è aggirabile, ma quando si copia/incolla una parte di codice si rischia fortemente di perdere la prima tabulazione, con risultati tanto imprevedibili quanto sgraditi.
Questo lo sento in modo particolare, dato che quando scrivo programmi ben difficilmente riesco ad isolarmi completamente dai distrurbi esterni e le interruzioni, quindi creare dei danni a causa di un call-center che ti chiama per proporti un nuovo contratto (spesso già esistente con lo stesso operatore ) oppure per rispondere ad un cliente che dopo 12 anni non ha capito che una spia verde lampeggiante è normale quando è mancata la rete d'alimentazione, è un attimo.

Magari prima o poi mi ci metterò dietro, dato che non potrò continuare a scrivere programmi in Visual Basic 6 (ho anche guardato le versioni più recenti, ma ho rischiato di diventare un serial killer, perchè vedere che microsoft aveva scombussolato completamente non solo l'ambiente di sviluppo, ma anche il set di istruzioni, mi ha fatto girare i cosiddetti).

Edited by GWFstory - 25/4/2018, 10:16

Com'è l'ambiente grafico di Python? Non l'ho mai visto (oppure l'ho visto ma l'ho confuso con quello di un'altro linguaggio).

Sinceramente vorrei svecchiare il mio modo di programmare lato PC, ma non vorrei buttarmi su qualcosa che dopo 3 mesi si rivela inutile per quello che devo fare io.....
.....Qui però stiamo andando in OT, forse sarebbe meglio aprire un'altra discussione.

Qui si sta parlando di porte logiche o, in alternativa, di logiche programmabili come PAL, GAL, PLD, ecc.

Con i microcontrollori si fa ben di più (anche lo stesso gioco dei cannibali e dei missionari, magari simulati con led rossi e blu).
Questo vuole essere un primo approccio alle reti logiche, prendendo lo spunto dal quesito iniziale.

L'intenzione sarebbe poi passare all'implementazione su un microcontrollore in un secondo tempo.

Praticamente ognuno dei mintermini è una moltiplicazione (booleana, non algebrica, quindi una funzione AND) di tutti gli ingressi. Per ottenere l'1 in uscita da un mintermine (quindi dalla porta AND) devi fare in modo che tutti gli ingressi siano a 1, quindi i bit che sono già a 1 li porti all'AND così come sono, mentre quelli che sono a 0 li inverti col NOT.



Questo sopra è un esempio dei mintermini relativi alle 2 combinazioni
M1=M2=M3=0 C1=1 e C2=C3=0 (000 100)
M1=M2=0 M3=1 C1=C2=1 C3=0 (001 110)

Ovviamente mancano tutti gli altri 20 minternini. Sinceramente non li ho disegnati perchè non aveva molto senso, anche perchè stato usando un programma online gratuito che a un certo punto mi ha segato le gambe e ha cominciato ha chiedere soldi.

Il programma che ho usato non aveva AND a 6 ingress, per questo me li sono creati mettendo 2 AND a 3 ingressi e riunendoli con un AND a 2 ingressi (praticamente AND1,AND2 e AND3 formato il primo AND a 6 ingressi, mentre AND4, AND5 e AND7 formano il secondo).

Le uscite dei 2 AND a 6 ingressi entrano in OR1, che, se fosse stato creato lo schema completo, avrebbe avuto 22 ingressi, uno per ogni uscita di ognuno dei 22 mintermini.
Come vedi il primo AND ha (NOT)M1 sul primo ingresso, (NOT)M2 sul secondo, (NOT)M3 sul terzo, C1 sul quarto, (NOT)C2 sul quinto e (NOT)C3 sul sesto, quindi la sua uscita sarà alta (livello logico 1) quando si avrà la combinazione 000 100, mentre con tutte le altre combinazioni l'uscita sarà bassa (livello logico 0).

Spero di essere stato chiaro.