title: Porta di Fredkin
text: # 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}}$ |
  