Les lois de De Morgan

Intro :

Les lois de De Morgan sont des règles fondamentales en logique et en algèbre booléenne.

Prérequis :

Rudiments de logique.

Explications :

Elles permettent de transformer des expressions contenant des négations en expressions équivalentes en inversant les opérateurs logiques.

\({\displaystyle \overline{A \lor B} \leftrightarrow \overline{A} \land \overline{B}}\)
\({\displaystyle \neg (A \land B) \leftrightarrow \neg A \lor \neg B}\)