Add AndGate.v