.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Esercizio FNC (http://www.dsy.it/forum/showthread.php?threadid=40270)

Esercizio FNC

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

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)