Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 232:
<math>\neg</math>(A ∨ B) ↔ (<math>\neg</math>A ∧ <math>\neg</math>B) deMorgan per la disgiunzione.
{{cassetto
|titolo=Soluzione es n°6
|testo={{{!}} {{prettytable}}
!A
!B
!<math>\neg</math>(A ∨ B)
!<math>\neg</math>(A ∨ B) ↔ (<math>\neg</math>A ∧ <math>\neg</math>B)
{{!}}-
{{!}}Vero
{{!}}Vero
{{!}}F
{{!}}F
{{!}}T
{{!}}-
{{!}}Vero
{{!}}Falso
{{!}}F
{{!}}F
{{!}}T
{{!}}-
{{!}}Falso
{{!}}Vero
{{!}}F
{{!}}F
{{!}}T
{{!}}-
{{!}}Falso
{{!}}Falso
{{!}}T
{{!}}T
{{!}}T
{{!}}-
{{!}}}
}}
▲(A ∧ B) ↔ (<math>\neg</math>A ∨ <math>\neg</math>B) deMorgan per la congiunzione.
<math>\neg</math>(A ∧ B) ↔ (<math>\neg</math>A ∨ <math>\neg</math>B) deMorgan per la congiunzione.
((A → B) ∧ (C → D)) → ((A ∧ C) → (B ∧ D)) preclarum theorema.
| |||