Bonsoir.
Si tu faisais une table de vérité (3 propositions = 8 lignes).
A plus RR.

Bonsoir Raymond
oui bien sur pour la table y a pas de probleme.
je sais faire.
mais on nous a demander de faire la demonstration par raisonnement logique (en utilisant les propriétés de bases : contraposée, loi de morgan, distributivité, associativité etc...) et ce, sans utiliser le table de verité.
@+
merci

en faite depuis des heures je tourne en rond et ce dont je suis à peu pres sur :
(r=>s)=>[(rVt)=>(sVt)]
~ (⌐rVs)=>[⌐(rVt)V(sVt)]
~ ⌐(⌐rVs)V[⌐(rVt)V(sVt)]

ensuite je suis moins sur qu'il faille distribuer mais...
~ [rΛ(⌐s)]V[(⌐rΛ(⌐t))V(sVt)]
~ [rΛ(⌐s)]V[(⌐rΛ(⌐t))Vs]V[(⌐rΛ(⌐t))Vt]
~ [rΛ(⌐s)]V[(⌐rVs)Λ[(⌐t)Vs]]V[(⌐rVt]Λ[(⌐t)Vt]

mais à ce stade je ne n'arrive pas à s'implifier, et pourtant ceci est un cheminement, tous au long de la journée j'en ai essayé d'autre avec toujours les mêmes soucis pour simplifier en des termes dont la propriété est connu pour etre une tautologie

merci pour votre aide

j'ai lu la propriété "modus barbara"
peut etre que je peut essayer de transformé l'ecriture pour que je puisse simplifier par les "t" dans le 2eme terme et voire si j'arrive à une écriture ou je peut montrer la tautologie... mais...
@+
on reprend 2mains
bonsoir

y a t-il quelqu'un qui puisse m'aider, histoire de ne pas rester frustré face à ce probleme qui me resiste
merci encore

c'est bon j'ai la solution