Bonsoir, j'ai un TP à rendre ce soir donc j'espère qu'une âme charitable veuille bien m'aider sur un exo
Déjà, j'ai le bout de code suivant :

// ... if((x & y) | !(!x | z)) {
w = y | !z;
}
else if((x & z) | (y & (x | z))) {
w = x | y;
}
else {
w = !x & !y;
} // ...

Le but de l'exo est de donner une formule de logique propositionnelle équivalente à cette portion de code, puis de la simplifier afin de réécrire le tout avec une seule instruction else, tout en préservant un comportement identique.
J'ai déjà bien simplifié tout ça en utilisant les lois de Morgan, la précédence (priorité des opérateurs), et la relation sur l'implication : "x implique y", c'est équivalent à "non(x) ou y". Mais maintenant, je suis bloqué... je ne vois pas comment transformer tout ça en un seul bloc else, notamment à cause du fait qu'on est en présence de 3 affectations de la variable w

Inverse la proposition dans ton else "w = !x & !y;" tu devrais comprendre ensuite.

Ouais, on obtient "w = !(x | y)" ce qui est la négation de la valeur qu'on affecte à w dans le 1er bloc else mais du coup, je vois pas comment on peut regrouper en un seul bloc else...

Tableau de Karnaugh? Après De Morgan t'as une """somme""" donc ça marche bien avec Karnaugh.

Peut-être que l'affectation de w dans le nouveau bloc else pourrait être : "w = x | y | !(x | y)" mais ça me semble superflu

Le 08 décembre 2016 à 22:35:36 Asayakez a écrit :
Tableau de Karnaugh? Après De Morgan t'as une """somme""" donc ça marche bien avec Karnaugh.

C'est pas le but de l'exo malheureusement, faut juste tout réécrire avec des formules propositionnelles mais le symbole de l'affectation me gêne beaucoup après...

Juste, c'est quel langage sinon ?

Ton premier et deuxième cas reviennent juste à faire w=1, tu peux les regrouper. Au final j'ai l'impression que ça te donne :
if (!x & y & !z) then w=0 else w=1
je garantis rien je suis sur mobile et j'ai fait de tête

Le 08 décembre 2016 à 22:49:09 Grimmys a écrit :
Juste, c'est quel langage sinon ?

ça a l'air d'être du C mais c'est pas dit en tout cas

Le 08 décembre 2016 à 22:55:11 AlphaCygni a écrit :
Ton premier et deuxième cas reviennent juste à faire w=1, tu peux les regrouper. Au final j'ai l'impression que ça te donne :
if (!x & y & !z) then w=0 else w=1
je garantis rien je suis sur mobile et j'ai fait de tête

Chaud je suis à côté de la plaque alors. Le truc, c'est qu'il faut tout réduire avec une énorme formule propositionnelle

AlphaCygni t'avais effectivement raison. Je viens de tester avec un programme en C et avec toutes les possibilités de la table de vérité (donc 2^3=8), ça donne les mêmes résultats que ton bout de code