Professional Documents
Culture Documents
LABORATORIO DI MATEMATICA
GLI INSIEMI E LA LOGICA
ESERCITAZIONE GUIDATA
Con Derive dimostriamo la prima legge di De Morgan,
苶
p苶∧
苶苶q
苶⫽苶
p∨苶
q,
costruendo due tavole di verità.
冤 冥
Calcoliamo il primo membro della formula p q p∧q ¬ (p ∧ q)
true true true false
●Con il bottone Semplifica_Base otteniamo da
#2: true false false true
Derive lo sviluppo della tavola di verità in #2.
false true false true
false false false true
冤 冥
formula p q ¬p ¬q ¬p∨¬q
●Con il bottone Semplifica_Base otteniamo da true true false false false
Derive lo sviluppo della tavola di verità in #4. #4: true false false true true
false true true false true
Notiamo che le ultime colonne delle due tavole di false false true true true
verità coincidono. Esse rappresentano i risultati
dei due membri della formula che traduce la pri-
ma legge di De Morgan e ne confermano la vali-
dità.
1 (p ∧ q) ∨ p苶 4 (p ∧ q) ∨ p苶苶苶
∧ 苶q 7 (p ∨ q) ∨ (p苶 ∧ r)
2 (p ↔ q) ∨ p苶 5 p ∧ q ∨ p苶 8 (p → q) ∧ 苶苶苶
p苶 ∨ r
3 p ∧ (q → p苶) 6 p苶苶苶
↔ q ∧ p苶苶苶
苶 ∨q 9 (p ↔ q) ∨ (p苶 ∧ r)
Con Derive o con Wiris costruisci delle tavole di verità per dimostrare le seguenti equivalenze logiche.
10 (p ∧ q) ∧ r ⫽ p ∧ (q ∧ r) 17 p ↔ q ⫽ (p ∨ q苶) ∧ (p苶 ∨ q)
11 p ∧ (q ∨ r) ⫽ (p ∧ q) ∨ (p ∧ r) 18 p苶苶苶
∧ 苶q ∨ r ⫽ p苶 ∨ q ∨ r
12 p → q ⫽ p苶 ∨ q 19 p苶 → q苶 ∧ r ⫽ p ∨ q ∨ r苶
苶苶苶
13 p苶苶苶
∨ q ⫽ p苶 ∧ q苶 20 p ∧ (q ∨ r) ∧ 苶p ⫽ p ∧ p苶苶∨
苶苶r苶
∨⭈ q
14 p ↔ q ⫽ p苶苶苶 21 p苶苶∧
苶苶q苶苶∧
苶苶r苶 ∨ r ⫽ p ∨ 苶p苶∧
苶苶q
苶
苶苶
15 p → q ⫽ p苶苶苶
∧ 苶q 22 (p ∨ 苶q) ∧ r ⫽ (p ∧ r) ∨ (q苶 ∧ r)
Sul quaderno applica alle seguenti espressioni logiche le leggi di De Morgan, poi verifica con Derive o con Wi-
ris costruendo una tavola di verità con i valori dell’espressione iniziale e di quella semplificata.
∨ 苶q ∧ r
24 p苶苶苶
∧ 苶q ∨ 苶苶苶)
25 (p苶苶苶 p苶 ∧ r ∧ q苶
26 p苶苶∧
苶苶q苶苶苶 ∨ r苶
27 苶p苶苶∨
苶 苶苶q苶 ∨ r苶 ∧ 苶p
Sul quaderno applica alle seguenti espressioni logiche la proprietà distributiva della congiunzione rispetto alla
disgiunzione, verifica con Derive o con Wiris costruendo una tavola di verità con i valori dell’espressione ini-
ziale e di quella variata.
28 p ∧ (p ∨ q)
29 (p ∧ (p ∨ q苶 ∨ r)) ∨ q
Con Derive o con Wiris stabilisci quali fra le seguenti espressioni logiche sono tautologie o contraddizioni.
30 p ∨ p苶
32 (p ∧ q) ∧ (p苶 ∧ r)
33 (p ∨ q苶 ∨ r) ∨ q