Homework 23 Marzo 2017

Formalizzare le seguenti frasi:
1. Condizione necessaria per la presenza di Angelo è che, se Bruno e Carlo non vengono, Davide venga.
2. Angelo, Bruno e Carlo verranno al party se e solo se Davide non verrà, ma, se né Angelo né Bruno verranno, allora Davide verrà solo se Carlo verrà.

Risolvere il seguente problema:

E' una piovosa serata di novembre, e un gruppo di studenti che seguono il corso di Informatica si scambia qualche messaggio per decidere se andare a lezione al mattino successivo, oppure no. Ecco i messaggi: 
1. "Giada è innamorata di Antonio, quindi se Antonio va a lezione ci va anche Giada"
2. "Giada o Filippo vanno a lezione, ma dopo la storiaccia della scorsa settimana, se va una non va l'altro, e viceversa".
3. "Emilia ha detto che domani sta con Filippo".
4. "Qualcuno a lezione ci sarà di sicuro: Emilia o Silvana ci vanno".
5. "Se Silvana va a lezione, ci vanno anche Antonio e Filippo".
Chi andrà a lezione domani, e chi invece no? Si associ a ciascuno studente un numero, secondo la seguente tabella:
    Antonio = 300
    Giada   = 400
    Filippo = 500
    Emilia  = 2000
    Silvana = 1000
La risposta deve essere la somma dei numeri corrispondenti ai nomi di coloro che andranno a lezione.