Richiesta

[enzo221]

Salve ragazzi... mi ritrovo con un problema sulle interpretazioni che proprio nn riesco a capire.. gli esercizi che devo svolgere sono:

Quote:
Sia $(alpha)$ appartenente a CNF il seguente insieme di clausole:

$\{ (\not p_0,p_1,\not p_2,\not p_3), (\not p_1,p_2,\not p_4), (p_1,p_2,\not p_3,p_4), (p_1,\not p_2,p_3), (p_0), (p_3), (\not p_1,p_2 ,p_3,p_1) \}$

con $\not$ che indica la negazione.
Come faccio a capire se è soddisfacibile?

[mod="Steven"]Spostato.[/mod]

[vict85]

La sezione giusta è algebra e logica. Si pregi di leggere i nomi delle sezioni ed eventualmente i post fatti dagli altri così da evitare errori.

[enzo221]

Grazie dell'invito,sono nuovo di questo forum e non ero a conoscenza di queste sezioni ,grazie ancora dell info.

[Studente Anonimo]

[mod="Martino"]Enzo22, sei invitato a cambiare il titolo mettendone uno che specifichi l'argomento di cui parli. Clicca su "modifica" nel tuo intervento. Grazie.[/mod] [mod="Martino"]Dato che e' passato molto tempo e non hai cambiato titolo, chiudo.[/mod]