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 ...