Réponse :
[tex]D\' emonstration\ par\ les\ lois\ de\ Morgan\\\overline{X+Y}=\overline{X}.\overline{Y}\\A \oplus B=A.\overline{B}+.\overline{A}.B\\\\A \oplus B=\overline{\overline{A.\overline{B} }\quad .\quad \overline{A.\overline{B} } }[/tex]
Je note les tables de vérité à l'aide de nombres binaires croissants.
Démonstration par les tables de vérité.
[tex]\begin{array}{|c|c|c|c|c|c|c|c|c|c|} A & B & \overline{A} & \overline{B} & A \oplus B & A.\overline{B} & \overline{A}.B & \overline{A . \overline {B} } & \overline{ \overline {A}.B } & ;\overline{\overline{A . \overline {B} } . \overline{ \overline {A}.B } }\\0&0&1&1&0&0&0&1&1&0\\0&1&1&0&1&0&1&1&0&1\\1&0&0&1&1&1&0&0&1&1\\1&1&0&0&0&0&0&1&1&0\\\end{array}\\[/tex]
