Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
vuoi
o PayPal
tutte le volte che vuoi
OR
((S=f) AND (E>=60))
Esercizio
Ad una festa in maschera il padrone di casa costruisce un
rilevatore automa6co di costume per determinare quali
persone amme8ere secondo la seguente regola:
le persone devono avere baffi fin6 e occhiali
• inoltre devono avere o scarpe da pagliaccio o cappello
• da pirata
oppure devono avere un ves6to in maschera completo,
• ma non è ammesso chi ha un cane
Un custode preme i tas6 di un circuito e in risposta
oAene/non oAene un segnale se la persona è
ammessa/non ammessa
Variabili del problema
le persone devono avere baffi fin@ e occhiali
Ø inoltre devono avere o scarpe da pagliaccio o cappello da
Ø pirata
oppure devono avere un ves@to in maschera completo, ma
Ø non è ammesso chi ha un cane
B baffi
§ O occhiali
§ S scarpe
§ ingressi
V vestito
§ C cappello
§ D cane
§ A ammissione alla festa
§ uscita
B, O, S, V, C, D, A sono variabili booleane (logiche)
Soluzione
le persone devono avere baffi fin3 e occhiali B*O
§ e devono avere o scarpe da pagliaccio o cappello da pirata S+C
§ (B*O)*(S+C)
oppure devono avere un ves3to in maschera completo, V
§ (B*O)*(S+C)+V
ma non è ammesso chi ha un cane D
§ ((B*O)*(S+C)+V)*D
Variabili del problema
le persone devono avere baffi fin2 e occhiali B*O
§ inoltre devono avere o scarpe da pagliaccio o cappello da pirata S+C
§ oppure devono avere un ves2to in maschera completo, V
§ ma non è ammesso chi ha un cane D
§ A = ((B*O)*(S+C)+V)*D Ammissione
Esercizio
Esprimere in forma simbolica la seguente proposizione
logica:
il passaggio di un astronauta da una nave di servizio
• ad un satellite ar7ficiale è permesso se:
la nave ed il satellite sono uni7 e alla stessa pressione
– interna, oppure se
sono separa7 e l’astronauta indossa una tuta pressurizzata.
–
In entrambi i casi occorre inoltre che:
le pile solari del satellite funzionino e giunga il consenso
– del controllo a terra.
Variabili del problema
P passaggio dell’astronauta
• uscita
U nave e satellite uni6
• I stessa pressione interna
• T l’astronauta indossa la tuta pressurizzata
• ingressi
S pile solari funzionan6
• C consenso da terra
•
NB: veicoli separa6 = non uni6 (U = 0)