Paolo74GRS

.primate.

User info:

Registered: Mar 2003
Posts: 71 (0.01 al dì)
Location: Bergamo
Corso: Informatica
Anno: > 3
Time Online: 2 Days, 11:55:02: [...]
Status: Offline

Post actions:

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

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:

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)