有N个变量，每个变量的可能取值为0或1。
给定M个算式，每个算式形如 ，其中 a,b 是变量编号，c 是数字0或1，op 是 and，or，xor 三个位运算之一。
求是否存在对每个变量的合法赋值，使所有算式都成立。
第一行包含两个整数N和M。
接下来M行，每行包含三个整数a b c，以及一个位运算（AND,OR,XOR中的一个）。
输出结果，如果存在，输出“YES”，否则输出“NO”
4 4 0 1 1 AND 1 2 1 OR 3 2 0 AND 3 0 0 XOR
YES
,