Forme normale négative

Forums

» » » »

Forme normale négative

Posté le 23-11-08 à 15:48

Posté par Joffrey25

Bonjour,
J'ai un petit souci avec un exercice :
Une formule est dite en FNN lorsque toutes les négations s'appliquent à un atome.

Et je dois formaliser cette définition en définissant un type des formules en NNF et j'ai beau chercher, je ne vois pas.
Merci d'avance.

re : Forme normale négative

Posté le 23-11-08 à 15:50

Posté par Nightmare

Bonjour,

peux-tu réécrire la question de telle sorte qu'elle soit compréhensible?

re : Forme normale négative

Posté le 23-11-08 à 15:54

Posté par Joffrey25

le problème c'est que l'énoncé est comme cela. Ca me rassure.
Précision : FNN = forme normale négative.

re : Forme normale négative

Posté le 23-11-08 à 15:56

Posté par Nightmare

Je comprends pas ce qu'il faut faire en fait...

Faut-il définir une fonction qui permet de mettre toute formule sous FNN?

re : Forme normale négative

Posté le 23-11-08 à 16:00

Posté par Joffrey25

Je ne sais pas trop non plus malheureusement...

La question suivante est :
Définir un système de réécriture pour mettre toute formule en forme normale négative.

re : Forme normale négative

Posté le 23-11-08 à 16:07

Posté par Nightmare

Oui donc je pense qu'en gros c'est ça.

L'idée est de partir des formes de bases :

$3$\rm \neg\neg p=p$
$3$\rm \neg (p\wedge q)=\neg p \vee \neg q$
$3$\rm \neg (p \vee q)=\neg p \wedge \neg q$

A partir de là on peut essayer d'écrire notre fonction.

re : Forme normale négative

Posté le 23-11-08 à 16:12

Posté par Joffrey25

Ok merci donc il faut faire une "mixture" avec ces formules c'est cela ?

Répondre à ce sujet

Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster

Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.