Logique- table de vérité

Bonjour,
Nous suivons des cours d'informatique pour notre Master SIG , dans le but de préparer notre examen nous essayons de résoudre un exercice sur les expressions logiques et les tables de vérités.


Soit P, Q et R les 3 affirmations suivantes :

P: Eric fait des mathématiques,
Q: Eric fait de la chimie
R: Eric fait fait de l'anglais

On nous demande de représenter les affirmations qui suivent sous forme symbolique à l'aide des lettres P, Q et R et des connecteurs usuels :

1. Eric fait des maths, de l'anglais mais pas de la chimie.

2. Eric fait des maths et de la chimie mais pas à la fois de la chimie et de l'anglais.

3. Il est faut que Eric fasse de l'anglais ou de la chimie sans faire des mathématiques.



Nous devons aussi répondre à cela, mais cela nous probleme dans la mesure ou nous n'avons pas les "colones en bits" de chaque lettre. Comment les définir?


1. Combien de lignes contient la table de vérité d'une forme propositionnelle à n variables ?

2. Construire les tables de vérités des formes propositionnelles suivantes:
-Non (P) ET Q
-(P OU Q ) OU (NON( R ) )
-P OU (NON (Q ET R) )



Un peu d'aide ne serait pas de refus,
merci pour vos réponses.