.dsy:it. - Esercizio FNC

.dsy:it.
//www.dsy.it

Esercizio FNC

Posted by Paolo74GRS on 27-03-2010 13:52

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!!