Porta di Fredkin
# Porta di Fredkin

La porta di Fredkin è un circuito computazionale adatto per la computazione reversibile inventata da Edward Fredkin. La porta di Fredkin è una porta universale: qualsiasi operazione logica o aritmetica può essere costruita interamente di porte di Fredkin. Possiede esattamente 3 valori in input (U,X1,X2) e 3 valori in output (V,Y1,Y2). La porta è composta da 3 equazioni indipendenti: V = U; Y1 = UX1+U'X2; Y2 = U'X1+UX2

## Tabella di verità

| Tabella di verità | Forma matriciale |
| - | - |
| INPUT OUTPUT $CI_1I_2$ $CO_1O_2$  0 0 0   0 0 0  001001 010010 011011 100100 101110 110101 111111 | ${\begin{bmatrix}1&0&0&0&0&0&0&0\\0&1&0&0&0&0&0&0\\0&0&1&0&0&0&0&0\\0&0&0&1&0&0&0&0\\0&0&0&0&1&0&0&0\\0&0&0&0&0&0&1&0\\0&0&0&0&0&1&0&0\\0&0&0&0&0&0&0&1\\\end{bmatrix}}$ |
