Mathématiques discrètes Jean-Pierre Boutin

S1S2 Math Discrètes 44hgraphes et langages 44h DS

PARTIE 1 : LOGIQUE PARTIE 2 : ENSEMBLES et RELATIONS PARTIE 3 : ARITHMETIQUE S1 Math Discrètes 44h DS 123

PARTIE 1 : LOGIQUE 1. PROPOSITION a. Proposition élémentaire b. Proposition composée : les connecteurs de base      c. Table de vérité d’une proposition composée d. Propositions équivalentes e. Règles de calcul f. Tautologie ┬ et contradiction ┴ 2. CALCUL BOOLEEN a. Forme canonique disjonctive b. Circuit combinatoire 3. PREDICATS PARTIE 2 : ENSEMBLES et RELATIONS PARTIE 3 : ARITHMETIQUE S1 Math Discrètes 44h DS 1

1. PROPOSITION 1

ab a  ((a  b)   b) 00? 01? 10? 11? 1 c) table de vérité d’une proposition composée 2

ab a  ((a  b)   b) c) table de vérité d’une proposition composée 3

Construisez la table de vérité de la proposition : ( (a  b )   b )  ( c  a ) abc 1 c) table de vérité d’une proposition composée 4

Construisez la table de vérité de la proposition : ( (a  b )   b )  ( c  a ) abc c) table de vérité d’une proposition composée 5

ab a  (  a  b) ab a  b a  (  a  b )  a  b 1 d) propositions équivalentes 6

les proposition sont-elles équivalentes ? (a  b)  (a  c) et a  (b  c) abc d) propositions équivalentes 7

1 e) règles de calcul 8

9

Simplifiez les proposition suivantes sans faire de table de vérité : i) (a  0)  b ii) b  (  b  a) iii) (a  b )   a iv) ( a   a )  (b  c ) 10

Loi de De Morgan :  (a  b)   a   b  (a  b)   a   b Propriétés Simplifiez les proposition suivantes : 1)  (a  b)  b 2)  (a  (  b  c) ) 1 e) règles de calcul 11

 est distributif sur  : a  (b  c)  (a  b)  (a  c) On développe On factorise 1 e) règles de calcul 12

 est distributif sur  : a  (b  c)  (a  b)  (a  c)  est distributif sur  : a  (b  c)  (a  b)  (a  c) On développe On factorise On développe On factorise 1 e) règles de calcul 13

Simplifiez après avoir développé ou factorisé : 1) (a  b)  (b   a) 2) (a   b )  ( a  b ) 3) (a  b)  (  c  b )  (  a  b ) 4) a  ( (b  c)   a ) 5) (a  b)  (  b  c) 1 e) règles de calcul 14

i) Simplifiez la proposition après avoir distribué : a  (  a  b) ii) Simplifiez a  (a  b) ( pour cela, remarquez que a  (a  b) = (a  1)  (a  b) ) iii) Simplifiez : a  ( a  b ) 1 e) règles de calcul 15