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

