Section: (30/03/2021 h.9/11) Completamento dell'esposizione sulle logiche booleane: Logiche booleane minimali | 204SM - LOGICA 2020 | Moodle@Units

Home Courses Support

Section outline

- Select activity Tre esercizi riguardanti la logica proposizionale (dall'a.a. 2019/20). Piú un esercizio nuovo.
  
  Tre esercizi riguardanti la logica proposizionale (dall'a.a. 2019/20). Piú un esercizio nuovo. File PDF
  
  Di questi esercizi i primi due sono *forse* impegnativi, ma il terzo è facilmente abbordabile.
  Il nuovo esercizio che vi propongo riguarda, piú in generale, le logiche booleane: Stabilire se la logica algebrica delle relazioni diadiche (versione assiomatica) sia atteggiabile a logica booleana, ossia se essa soddisfi---definiti opportunamente, in essa, il falso e l'implicazione---il principio di deduzione e il principio di doppia negazione?
- Select activity Una dispensetta sull'"appiattimento" di enunciati proposizionali in equisoddisfacibile forma 3CNF, messa a confronto con la riduzione del problema H10 all'omologo riguardante polinomi di grado al piú 4.
  
  Una dispensetta sull'"appiattimento" di enunciati proposizionali in equisoddisfacibile forma 3CNF, messa a confronto con la riduzione del problema H10 all'omologo riguardante polinomi di grado al piú 4. File PDF