Logique booléenne : formes normales

Logique booléenne : formes normales - Aide aux devoirs - Emploi & Etudes

Marsh Posté le 24-10-2005 à 17:40:43    

Bonjour à tous,
 
j'ai un petit trou de mémoire : comme mettre une proposition sous forme normale à partir de sa table de vérité ?  :heink:  
 
Posons un exemple, histoire de mettre tout le monde d'accord :
P,Q,R variables, S la proposition
P  Q  R  | S  
0  0  0    | 0
0  0  1    | 1
0  1  0    | 1
0  1  1    | 0
1  0  0    | 1
1  0  1    | 0
1  1  0    | 1
1  1  1    | 1
 
Merci d'avance !  :jap:


---------------
FHR
Reply

Marsh Posté le 24-10-2005 à 17:40:43   

Reply

Marsh Posté le 24-10-2005 à 19:00:06    

forme normale conjonctive ou disjonctive ?
 
c'est soit, je mets n pour "et", v pour "ou" et z pour "non"
 
(zP n zQ n R) v (zP n Q n zR) v (P n zQ n zR) v (P n Q n zR) v (P n Q n R)
 
ou
 
(P v Q v R)n(P v zQ v zR)n(zP v Q v zR)
 
je te conseille la deuxième forme plus courte ;)


---------------
Taupin un jour, Normalien toujours...
Reply

Marsh Posté le 24-10-2005 à 19:40:40    

Merci Gloupin !
 
(au fait on a une connaissance commune : Lalaith ;) )


---------------
FHR
Reply

Marsh Posté le 24-10-2005 à 21:53:07    

De rien :)
Ah oui Lalaith, tiens je vais sur son blog


---------------
Taupin un jour, Normalien toujours...
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed