Question
En utilisant les tables de vérité, prouvez quelques propriétés des opérateurs logiques et, ou et non
Solution
Par exemple une loi de Morgan
on veut prouver que non( a et b) = (non a) ou (non b)
a | b | a et b | non ( a et b) | non a | non b | (non a) ou (non b) |
|---|---|---|---|---|---|---|
V | V | V | F | F | F | F |
V | F | F | V | F | V | V |
F | V | F | V | V | F | V |
F | F | F | V | V | V | V |
