Bonjour,
J'aimerais réviser une notion de logique (que j'avais apprise l'an dernier en fac) et dont je ne suis plus sur... J'ai perdu les cours relatifs à cette notion et je ne trouve pas ma réponse sur le net...
Ma question est la suivante : comment passer d'une forme normale conjonctive à une forme normale disjonctive ou inversement ? (sur le net, je trouve des explications sur ce qu'est une FNC, une FNC, mais pas sur comment passer de l'une à l'autre)
Je crois savoir mais je suis pas sur, et je n'aimerais pas partir sur de mauvaises bases...
En gros, je met un non qui englobe toute ma proposition, et je transforme tous les et en ou, tous les ou en et, je met des "non" partout où il n'y en avait pas, et je les supprime partout où ils étaient c'est bien ça ?
Si j'ai (P ou Q) et (Q ou non R) par exemple, si je fais ça c'est bon ? :
(P ou Q) et (Q ou non R) = non (non (P ou Q) ou non (Q ou non R)
= non ((non P et non Q) ou (non Q ou R)
Je ne suis pas du tout sur de moi et je ne voudrais pas partir sur de mauvaise bases, donc si vous pouviez juste m'indiquer si je suis ou non la même technique je vous serais reconnaissant.
En vous remerciant.
-----
Envoyé par zar2 
).
