Une table de vérité donne la valeur de vérité d'une proposition…

Une table de vérité donne la valeur de vérité d'une proposition composée pour chacune des combinaisons possibles des propositions élémentaires.

• Dresser la table de vérité de « non ($P$ et $Q$) », puis celle de « (non $P$) ou (non $Q$) ». Que constate-t-on ?
• Faire de même pour « non ($P$ ou $Q$) » et « (non $P$) et (non $Q$) ».

(Ces deux constatations sont les lois de De Morgan, ici démontrées côté logique et non côté ensembles.)