Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nuova pagina: <math>(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A)</math> <math>\neg (A \rightarrow B) \vee (\neg B \rightarrow \neg A)</math> <math>\neg (\neg A \vee B) \vee (\neg\neg ...
 
Nessun oggetto della modifica
Riga 8:
 
<math>(A \wedge \neg B) \vee B \vee \neg A</math>
 
<math>((A \vee B) \wedge (\neg B \vee B) ) \vee \neg A</math>