Adatta gli esercizi risolti alla tua materia. Registrati gratis
Dimostra mediante tavole di verita se le seguenti formule
sono equivalenti o no:
21. [Esercizio 21] p ∧ q → p , p ∨ p → r
| p | q | r | p ∧ q | p ∧ q → p | p ∨ p | p ∨ p → r | (p ∧ q → p) ∧ (p ∨ p → r) |
|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 |
NON C'E EQUIVALENZA LOGICA. CONTROESEMPIO: I(p)= 1, I(q)=1 e I(r)= 0.
22. [Esercizio 22] p ∧ (q ∨ r) , (p ∧ q) ∨ (p ∧ r)
| p | q | r | q ∨ r | p ∧ (q ∨ r) | p ∧ q | p ∧ r | (p ∧ q) ∨ (p ∧ r) | p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r) |
|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
C'E EQUIVALENZA LOGICA. Le formule sono logicamente equivalenti (Legge distributiva).
23. [Esercizio 23] p ∨ (q → r) , p → ¬¬(q → ¬r)
| p | q | r | ¬r | q → r | p ∨ (q → r) | q → ¬r | ¬(q → ¬r) | ¬¬(q → ¬r) | p →¬¬(q → ¬r) | p ∨ (q → r) ∧ p →¬¬(q → ¬r) |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
NON C'E EQUIVALENZA LOGICA. CONTROESEMPIO: I(p)= 1, I (q)=1, I(r)=1
24. [Esercizio 24] (p → q) ∧ (q → r) → (p → r) , p → (q → r)
| p | q | r | p → q | q → r | (p → q) ∧ (p → r) | p → r | (p → q) ∧ (p → r) → (p → r) | (p → (q → r) | (p → q) ∧ (p → r) ↔ (p → (q → r) |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
NON C'E EQUIVALENZA LOGICA. CONTROESEMPIO: I(p)=1, I(q)= 1, I(r) = 0
25. [Esercizio 25] ¬(p ∨ q) ↔ ¬p ∨ ¬r , ¬(p → q) ↔ p ∧ r
| p | q | r | p ∨ q | ¬(p ∨ q) | ¬p ∨ ¬r | ¬(p ∨ q) ↔ ¬p ∨ ¬r | p → q | ¬(p → q) | p ∧ r | ¬(p → q) ↔ p ∧ r | Bicondizionale finale |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
NON C'E EQUIVALENZA LOGICA. CONTROESEMPIO: I(p)=1, I(q)= 1, I(r) = 1
Successivo >>