Logique Connecteurs Lois de Morgan

Lois de Morgan :

• Négation de la disjonction :
  La proposition (non ( P ou Q)) est équivalente à la proposition ((non P) et (non Q)).

   

• Négation de la conjonction :
  La proposition (non ( P et Q)) est équivalente à la proposition ((non P) ou (non Q)).