Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

Clausola = disgiunzione di letterali. É giusto p V C, pensa a C come ad una clausola astratta dove ci sono altri letterali in disgiunzione.

L'esempio non l'ho capito, comunque a volte usando diverse regole si può arrivare allo stesso risultato, non ti puntare su di esso: punta piuttosto sul capire l'applicazione delle regole.

{pVC}: disgiunzione tra un letterale e un "qualcosa" C, dove però appunto C potrebbe essere la clausola vuota (nel senso che alla fine hai solo il letterale p)