自己改明白代码简直太开心啦~网上博客里的压根没搜到用刘汝佳的模板的AC代码，但是照着加边的思路，劳资写出来啦，哦哈哈哈

言归正传，怎么加的边：

AND 1 2*i==>2*i+1 2*j==>2*j+1 0 2*i+1==>2*j 2*j+1==>2*i
OR 1 2*i==>2*j+1 2*j==>2*i+1 0 2*i+1==>2*i 2*j+1==>2*j
XOR 1 2*i==>2*j+1 2*j+1==>2*i 0 2*i==>2*j 2*j==>2*i

1 2*i+1==>2*j 2*j==>2*i+1 0 2*i+1==>2*j+1 2*j+1==>2*i+1

红色那两个自相矛盾的加边方法是真的没想到的==其他的，把模板改一下就可以了~~刘汝佳的模板有局限性。还有就是写的时候一定要细心，听歌太分神==

/************
poj3678
2016.1.11-2016.1.12
684K	157MS	C++
************/
#include <iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
using namespace std;
#define maxn 10004
struct TwoSAT{
    int n;
    vector<int>G[maxn*2];
    bool mark[maxn*2];
    int S[maxn*2],c;
    bool dfs(int x){
        if(mark[x^1]) return false;
        if(mark[x]) return true;
        mark[x]=true;
        S[c++]=x;
        for(int i=0;i<G[x].size();i++)
            if(!dfs(G[x][i])) return false;
        return true;
    }
    void init(int n){
        this->n=n;
        for(int i=0;i<(n<<1);i++) G[i].clear();
        memset(mark,0,sizeof(mark));
    }
    void add_clause(int x,int a,int b,int y,int c,int d){
        x=x*2;
        y=y*2;
        G[x+a].push_back(y+b);
        G[y+c].push_back(x+d);
    }
    void add_clause1(int x,int a,int b,int y,int c,int d) {
    x = x * 2 ;
    y = y * 2 ;
    G[x+a].push_back(x+b);
    G[y+c].push_back(y+d);
  }
    bool solve(){
        for(int i=0;i<n*2;i+=2)
        if(!mark[i]&&!mark[i+1]){
            c=0;
            if(!dfs(i)){
                while(c>0) mark[S[--c]]=false;
                if(!dfs(i+1)) return false;
            }
        }
        return true;
    }
}solver;
int n,m,T[maxn][2],a,b,c;
char str[10];

int main()
{
    //freopen("cin.txt","r",stdin);
    while(~scanf("%d%d",&n,&m))
    {
        solver.init(n);
        if(m==0)
        {
            printf("YES\n");
            continue;
        }
        while(m--)
        {
            scanf("%d%d%d%s",&a,&b,&c,str);
           // a--;b--;
            if(strcmp(str,"AND")==0)
            {
                if(c==1) solver.add_clause1(a,0,1,b,0,1);
                else solver.add_clause(a,1,0,b,1,0);
            }
            else if(strcmp(str,"OR")==0)
            {
                if(c==1) solver.add_clause(a,0,1,b,0,1);
                else solver.add_clause1(a,1,0,b,1,0);
            }
            else if(strcmp(str,"XOR")==0)
            {
                if(c==1) {
                    solver.add_clause(a,1,0,b,1,0);
                    solver.add_clause(a,0,1,b,0,1);
                }
                else {//puts("aaaaaaa");
                    solver.add_clause(a,0,0,b,0,0);
                    solver.add_clause(a,1,1,b,1,1);
                }
            }
        }

        if(solver.solve()) printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}