La logique des équivalence repose sur une triple inversion.

1. Inversion de l'operateur.
2. inversion des opérandes.
3. inversion du résultats.

Ce qui nous donne une table d'équivalence.

A l'aide de cette table, ou de ces règles,

L'on peux inverser des suites de portes logiques, afin qu'elles correspondent.

Cela sans avoir la même structure, ou architecture interne.

S1R1

oai_latch VS nor_latch