Scribd
Importer
12 vues1 page

Arbres et Tables de Vérité Logiques

Transféré par

Oumaima Kammoun
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
12 vues1 page

Arbres et Tables de Vérité Logiques

Transféré par

Oumaima Kammoun
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Logique

mathématique/
formelle

PREPA1 / LIM1 TD2 A.U. 2022-2023

Exercice :
Donner l’arbre de construction ainsi que la table de vérité de chaque formule :
1/ ( P ou ˥Q ) et ( ˥P ou R )
2/ ( P et ˥Q ) → R
3/ ( P→ R ) ou ( Q et R )
4/ ( P → Q ) → ( ( P → ˥Q ) → ˥P )
5/ ( p → ( q → r ) ) → ( r ou ˥p ).

Vous aimerez peut-être aussi