Fredkin-Gate
# Fredkin-Gate

| Eingänge | Eingänge | Eingänge | Ausgänge | Ausgänge | Ausgänge |
| C | I$_1$ | I$_2$ | C | O$_1$ | O$_2$ |
| 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 | 1 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 |
Das Fredkin-Gate ist eine von Edward Fredkin erfundene Schaltung, die für reversibles Computing verwendet wird. Input und Output bestehen aus drei Bits. Ist das erste Bit = 1, werden die anderen beiden Bits miteinander vertauscht; ist es = 0, findet kein Tausch statt.
Eine wichtige Eigenschaft ist, dass das Fredkin-Gate „konservativ“ ist, das heißt, die Ausgabe hat gleich viele Einsen wie die Eingabe. Da es keinen Informationsverlust gibt, ist die Operation vollständig umkehrbar.

## Logische Funktion mit Exklusiv-Oder- und AND-Gattern

O$_1$ = I$_1$ XOR S
O$_2$ = I$_2$ XOR S
mit S = (I$_1$ XOR I$_2$) AND C