Esercizio FNC
Clicca QUI per vedere il messaggio nel forum |
| Paolo74GRS |
Ciao, un dubbio a riguardo della FNC; vado al sodo proponendo l'esercizio..
Quali delle seguenti formule sono in FNC?
1. not p and (not q or r)
2. (not p or q) and not r and (not q or r)
3. (p implica q) and not r
4. p or q
La formula 3 non è in FNC dato che contiene implica; la 4 è una clausola, ma è anche una formula in FNC??
Le prime 2 sono congiunzioni di clausole e letterali.. anche quì, sono formule FNC?
Grazie a tutti voi per gli eventuali suggerimenti.
CIAO!! :D |
| michele.corrias |
La 3 non è in FNC, infatti.
La 4 è una clausola, e una clausola è sempre in FNC, la puoi vedere come (p or q) and 1
Le prime due stesso discorso...un letterale è sempre una clausola, perchè lo puoi vedere in disgiunzione con il letterale vuoto. Es.: (not p or 0) and (not q or r) |
|
|
|
