Tarea 1

Compuertas Logicas

1. La compuerta CN OT : {0, 1}2 {0, 1}2 , llamada Control-NOT, esta definida

por la tabla de verdad y diagrama que se muestran abajo. (El nombre proviene
de que el cambio en b esta controlado por a: i.e., b cambia a = 1.)
Table 1: Tabla de verdad para la compuerta CN OT

a b a b
0 0 0 0
a a=a 0 1 0 1
1 0 1 1
b b=a + b 1 1 1 0

Tarea 1
(a) Muestre que CNOT es invertible; i.e., conociendo la salida podemos deducir
Compuertas Logicas
la entrada. (Es la version invertible de XOR.)
(b) Encuentre la compuerta inversa de CNOT.
(c) Demuestre que COPY se puede obtener a 2partir de CNOT.
1. La compuerta CN OT : {0, 1} {0, 1}2 (llamada Control NOT) esta definid
por la tabla de verdad que se muestra abajo, i.e., b cambia a = 1.
2. La compuerta Toffoli es una compuerta CCN OT : {0, 1}3 {0, 1}3 , en la que
(a) Muestre que CN OT es invertible (i.e., conociendo la salida podemos deduci
2 bits a y b, controlan a un tercer bit c (i.e., Control-Control-NOT):
la entrada): es la version invertible de XOR.
c cambia a = b = 1 (ver tabla de verdad y diagrama abajo).
(b) Encuentre la compuerta inversa de CN OT .
(c) Demuestre que COP Y ase bpuede
c obtener
a b acpartir de CN OT .
0 0 0 0 0 0
0 0 1 0 0 1
a a=a 0 1 0 0 1 0
a a=a 0 1 1 0 1 1
b b=a + b 1 0 0 1 0 0
b b=b 1 0 1 1 0 1
1 1 para
Figure 1: Diagrama 0 1la compuerta
1 1 CN OT .
c c=c + ab 1 1 1 1 1 0

2. Determine el orden de proximidad de las curvas

Tarea 1
(a) Obtenga COPY a partir de Toffoli. sin(x)
y(x) = y y1 (x) 0
(b) Obtenga NOT a partir de Toffoli. Compuertas
n Logicas

3. Demuestre que si J[y(x)] es diferenciable, entonces J 2 [y(x)] es diferenciable.

!x
4.1. Sea
La ycompuerta
= y(x) la CN OTque
curva : {0, 1}2 la
minimiza 1}2 , llamada
{0,funcional Control
J[y(x)] = x01NOT, esta
F (x, y, y ! ) defini
dx co
por la tabladedefrontera
condiciones verdad ylibres.
diagrama
En que se muestran
particular, abajo. el(Elcaso
considerese nombre
en elprovie
que e
de que el cambio en b esta controlado
punto final de la curva, en x1 ,Table
esta fijo,por a: i.e.,
y el punto b cambia
inicial, a = 1.)
enlax0compuerta
, yace sobreCN unO
1: Tabla de verdad para
 (c) Obtenga AND a partir de Toffoli.
(d) De (a), (b), y (c) deduzca que Toffoli es una compuerta logica universal.

3. La compuerta NAND se define como NOT(AND), i.e., es una compuerta que a

(a, b) le asocia (a b). Implemente una compuerta OR a partir solamente de
compuertas NAND.
(NAND es una compuerta universal; sin embargo no es invertible.)