Bonjour à tous,
 
j'ai un petit trou de mémoire : comme mettre une proposition sous forme normale à partir de sa table de vérité ?    
 
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 !  

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

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

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