Wie funktioniert ein Halbaddierer aus Crossbar-Latches?

Bei den Eingängen$\small{\text{A}}$,$\mathsf{\small \overline{\text{A}}}$,$\small{\text{B}}$, Und$\mathsf{\small \overline{\text{B}}}$eingeklinkt sind, bilden sie vier Minterms$\mathsf{\small \overline{\text{A}}}$⦁$\mathsf{\small \overline{\text{B}}}$,$\small{\text{A ⦁ B}}$,$\mathsf{\small \overline{\text{A}}}$, Und$\mathsf{\small \overline{\text{B}}}$die vertikal unter Verwendung einer verdrahteten UND-Konfiguration erzeugt werden, wie im Patent beschrieben.

Dann werden zwei Ausgaben generiert: SUM =$\overline{ (\small \overline{\text{A}} ⦁ \small \overline{\text{B}}) + (\small {\text{A}} ⦁ \small {\text{B}}) },$

Und

ÜBERTRAGEN =$\overline{ \small \overline{\text{A}} + \small \overline{\text{B}} }$

weil die Ausgaben horizontal unter Verwendung einer NOR-Funktion erzeugt werden, wie in dem Patent beschrieben.

Unter Verwendung der Gesetze von De Morgan vereinfacht sich die erste Gleichung zu A xor B und die zweite zu A ⦁ B, was die Definition eines Halbaddierers ist.

Sie können dies überprüfen, indem Sie in WolframAlpha „simplify not((not a and not b) or (a and b))“ für die erste Gleichung und „simplify not(not a or not b)“ für die zweite eingeben.