Informateci

Nelle dispense si trova una tautologia che non riesco a dimostrare: (p implies q) and (not p implies r) equiv (p and q) or (not p and r) Provando a partire da sinistra (p implies q) and (not p implies r) equiv {Elim.-implies} (not p or q) and (p or r) equiv {Distributività} ((not p or q) and p) or (...

Appello del 04/06/2020 (su Microsoft Teams). In allegato le query chieste come pre-esame e il progetto finale (il cui codice sorgente LaTeX si trova qui ). Il professore ha fatto alcune domande sullo schema concettuale e logico relazionale del progetto consegnato, chiedendo di motivare alcune scelt...