#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <vector>
#include <set>
#include <map>
#include <array>
#include <random>
#include <cmath>
#include <chrono>
#include <list>
#include <ctime>
#include <sstream>
#include <queue>
#include <climits>
#include <stack>
#include <valarray>
#include <random>
#include <bitset>
#include <numeric>
#include <iomanip>
#include <cassert>
using namespace std;
typedef vector<int> vi;
typedef pair<int,int> pii;
typedef long long ll;
#define rep(x, b, e) for(int x=(b); x<(e); ++x)
#define trav(a, x) for(auto& a : x)
#define ford(x, b, e) for(int x=((int)(b))-1; x>=(e); --x)
#define all(c) c.begin(),c.end()
#define sz(x) ((int)((x).size()))
#define pb push_back
#define eb emplace_back
#define st first
#define nd second
#define mp(x,y) make_pair(x,y)
typedef short int sint;
template<typename T> bool ckmin(T& a, const T& b){return b<a?a=b,1:0;}
template<typename T> bool ckmax(T& a, const T& b){return b>a?a=b,1:0;}


template <typename A, typename B>
string to_string(pair<A, B> p);

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p);

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p);

string to_string(const string& s) {
  return '"' + s + '"';
}

string to_string(char c) {
  return string(1, c);
}

string to_string(const char* s) {
  return to_string((string) s);
}

string to_string(bool b) {
  return (b ? "true" : "false");
}

string to_string(vector<bool> v) {
  bool first = true;
  string res = "{";
  for (int i = 0; i < static_cast<int>(v.size()); i++) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(v[i]);
  }
  res += "}";
  return res;
}

template <size_t N>
string to_string(bitset<N> v) {
  string res = "";
  for (size_t i = 0; i < N; i++) {
    res += static_cast<char>('0' + v[i]);
  }
  return res;
}

template <typename A>
string to_string(A v) {
  bool first = true;
  string res = "{";
  for (const auto &x : v) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(x);
  }
  res += "}";
  return res;
}

template <typename A, typename B>
string to_string(pair<A, B> p) {
  return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")";
}

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")";
}

void debug_out() { cerr << endl; }

template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  cerr << " " << to_string(H);
  debug_out(T...);
}

#ifdef LOCAL
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif


// #include <atcoder/modint>
// #include <atcoder/dsu>
// using namespace atcoder;
// using mint = modint998244353; // modint1000000007;
// typedef vector<mint> vmi;

mt19937 rng(chrono::steady_clock::now().time_since_epoch().count()); // use rng() to get unsigned int
// mt19937_64 for random long longs

const int N=3e5 + 10;
const int M = 1e6 + 3e5 + 100;
int p[M], st[M], ziom[M], xo[M], ile[M];

int find(int x) {
  if (x != p[x]) {
    p[x] = find(p[x]);
  }
  return p[x];
}

int lacz(int a, int b) {
  if (ile[a] < ile[b]) swap(a, b);
  p[b] = a;
  ile[a] += ile[b];
  xo[a] ^= xo[b];
  return a;
}

void solve() {
	int n, q, v = 0;
  // scanf("%d %d", &n, &q);
  auto new_vert = [&](int i) {
    p[v] = ziom[i] = v;
    xo[v] = i;
    ile[v] = 1;
    st[v] = 0;
    v++;
  };
  // auto debu = [&]() {
  //   debug(n, v);
  //   rep(i, 0, v) {
  //     debug(i, p[i], ziom[i], xo[i], ile[i], st[i]);
  //   }
  // };
  cin >> n >> q;
  rep(i, 0, n) {
    new_vert(i);
  }

  string ans;
  string res = "0?1";
  while (q--) {
    char c;
    int a, b;
    cin >> c >> a;
    --a;
    if (c == '?') {
      debug("pytanie", "?", a);
      int jefe = find(ziom[a]);
      ans.push_back(res[st[jefe]]);
    } else if (c == '-') {
      int jefe = find(ziom[a]);
      xo[jefe] ^= a;
      ile[jefe] -= 1;

      if (ile[jefe] == 1 && st[jefe] == 1) {
        // need to mark this group as 0
        int who = xo[jefe];
        new_vert(who);
      }
      new_vert(a);
      // debug("after op", '-', a);
      // debu();
    } else {
      cin >> b;
      --b;
      if (a == b) { // same vert
        // full group has computers
        int jefe = find(ziom[a]);
        st[jefe] = 2;
      } else {
        int ja = find(ziom[a]), jb = find(ziom[b]);
        if (ja == jb) {
          // st = 0 lub 1, st != 2
          ++st[ja];
        } else {
          // 2 different sets
          int jefe = lacz(ja, jb);
          if (st[ja] == 2 || st[jb] == 2) {
            // all are 2
            st[jefe] = 2;
          } else {
            // all are 1
            st[jefe] = 1;
          }
        }
      }
      // debug("after op", "+", a, b);
      // debu();
    }
  }
  cout << ans << "\n";
}

int main() {
	ios_base::sync_with_stdio(false); cin.tie(0);
	int t;
	// cin >> t;
	t = 1;
	while (t--) {
		solve();
	}
}