Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Esercizio 1
Si consideri la tavola di verit`a a fianco:
1. determinare unespressione per la formula F che A B C F
contenga solo i connettivi e ; 0 0 0 0
0 0 1 0
2. dire, usando la definizione, se F |= (A C)
0 1 0 1
(C B);
0 1 1 1
3. dire, usando la definizione, se linsieme {F , (C 1 0 0 0
B)} `e insoddisfacibile; 1 0 1 0
1 1 0 1
4. si dimostrino i risultati trovati ai due punti prece- 1 1 1 0
denti usando la risoluzione. Si pu`o affermare che
esiste una risoluzione lineare di questi risultati?
Svolgimento.
1. Unespressione per la formula F pu`o essere ottenuta osservando che ha
la stessa tavola di verita del predicato B ad eccezione che per lultimo
modello, dunque F B (A C). Unespressione per F che contenga
solo i connettivi e pu`o dunque essere ottenuta cos`:
F B (A C) (B (A C))
(B (A C)) (B (A C)).
A B C F (A C) (C B)
0 0 0 0 1
0 0 1 0 0
0 1 0 1 1
0 1 1 1 1
1 0 0 0 1
1 0 1 0 0
1 1 0 1 1
1 1 1 0 1
Tutte le clausole ottenute sono di Horn, una risoluzione lineare per input
`e dunque possibile in entrambi i casi:
{B, C} {B}
{C} {C}
Esercizio 2
Si consideri la funzione f : N N cos` defiita:
4n + 1, se n `e pari;
f (n) =
2(n2 + 2), se n `e dispari.
(b, b ) b + b `e dispari
1 54
6 17
9 22
1 54
6 17
9 22
1
Tale relazione `e antisimmetrica `e dunque la chiusura di
6
equivalenza esiste e ha per diagramma di Hasse quello
a fianco. Dal grafo ne segue immediatamente che 1 `e 17 9
elemento massimale e massimo, 54 e 22 sono minimali e
non esiste il minimo.
54 22