Un peu de logique booléenne...

[5t3ph]

Hello,

Si est vraie...

Est-ce que

est vraie ?

Peut-être est-ce dû à l'heure tardive où je poste... Mais je m'emmêle un peu les pinceaux avec les tables de vérité, peut-être qu'un lecteur aguerri peut me donner des indications.

Merci d'avance !
-----

[Médiat]

Il manque des parenthèses pour lever toute ambiguïté.

[5t3ph]

Effectivement, ce sera mieux avec des parenthèses...

Je parlais donc de l'équivalence logique ou non des 2 propositions suivantes :



et

[Médiat]

Vous pouvez résoudre cela de plusieurs façons :

1. Table de vérité
2. Remplacement des implications par leur définition
3. Utilisation des fonctions associées aux connecteurs
4. etc.

[A voir en vidéo sur Futura]

[5t3ph]

J'ai établi les tables de vérité des 2 propositions.
Je vois 2 diffférences (entrées (A,B,C,D)=(1,1,0,0) et (A,B,C,D)=(1,1,1,0)).
Propositions non équivalentes donc...

Remplacement des implications par leur définition

Oui, j'avais commencé par remplacer les (P<=>Q) par ((P=>Q) et (Q=>P))...
Puis remplacer les (P=>Q) par (nonP ou Q)...
Mais ça devenait interminable