TD1

EX1
Ꞁ(P ꓦ Q) <= > ꞀP ꓥ  ꞀQ 

1 2
P Q P ꓦ Q Ꞁ(P ꓦ Q)  ꞀP  ꞀQ ꞀP ꓥ  ꞀQ 1<=>2
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V

Ꞁ(P ꓥQ) <= > ꞀP ꓦ  ꞀQ 
3 4
P Q P ꓥ Q Ꞁ(P ꓥ Q)  ꞀP  ꞀQ ꞀP V  ꞀQ 3<=>4
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V

   [P ꓥ (Q ꓦ R) ] <= > [ (P ꓥ Q)  ꓦ  (P ꓥ R) ]

5 6 7 8
P Q R Q ꓦ R  P ꓥ (Q ꓦ R)  P ꓥ Q   P ꓥ R  6 V 7 5<=>8
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V

EX2
(P ꓥQ) = > Q  <=> Ꞁ(P ꓥ Q) ꓦQ  <=>  ꞀP ꓦ  ꞀQ ꓦ Q  <=> ꞀP ꓦ T  <=> T  (T étant une tautologie)

P Q P ꓥQ (P ꓥQ) = > Q 
V V V V
V F F V
F V F V
F F F V

P Q P ꓥQ (P ꓥQ) <=> Q
 v V V V
V F F V

Q  = > (P V Q) 

P Q P V Q Q  = > (P V Q) 
V V V V
V F V V
F V V V
F F F V

P Q P V Q Q  <= > (P V Q) 
F V V V
F F F V

Au cas de  4 assertions le tableau de vérité sera formé des lignes suivantes:

P Q R S
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F