magdalena-kobylanski
commented
5 years ago Très bonne idée.
Tu veux que j'écrive l'exercice en PL? Tu as raison 👍 il faut que je commence à faire des exercices !
Que dirais-tu également d'un exercice pour mettre des expressions sous forme normale disjonctive (FND) ? Il me semble que pour les tests en informatique c'est bien de savoir transformer une écriture sous cette forme ? On peut faire une série d'exercices 1) dire si une expression est sous FND ou pas. On peut paramétrer l'exercice : -- des expressions avec "et" "ou" -- rajouter "non" -- rajouter "implique" -- contrôler le nombre de propositions (A,B,C,D...)
1 bis) les propositions sont des expressions "en français" et pas "A", "B"...
2)Transformer en FND des expressions.
3) Dire si deux formes sont ou non équivalentes. Pour cela, il y a la possibilité
- du calcul de table de vérité
- du calcul avec les lois de Morgan pour montrer l'équivalence (cela me semble difficile à faire pour l'heure dans PL, sauf à mettre les deux expressions sous FND ou FNC, ou que l'une le soit déjà)
- de trouver un contre-exemple pour montrer la non équivalence (plus facile à vérifier).
Un exercice qui utilise les lois de morgan pour créer deux expressions équivalente (ou non) et qui demande soit de dire que les deux expressions sont équivalente soit d'exprimer des valzurs des variables qui sont un contre exemple.
lois de morgan non (a ou b) est équivalent à (non a) et (non b) non (a et b) est équivalent à (non a) ou (non b)