if (strcmp(s, "AND") == 0) {
				if (c == 0) G.add_edge(a, b + N), G.add_edge(b, a + N);
				else G.add_edge(a, b), G.add_edge(b, a), G.add_edge(a + N, a), G.add_edge(b + N, b);
			} else if (strcmp(s, "OR") == 0) {
				if (c == 0) G.add_edge(a + N, b + N), G.add_edge(b + N, a + N), G.add_edge(a, a + N), G.add_edge(b, b + N);
				else G.add_edge(a + N, b), G.add_edge(b + N, a);
			} else {
				if (c == 0) G.add_edge(a, b), G.add_edge(b, a), G.add_edge(a + N, b + N), G.add_edge(b + N, a + N);
				else G.add_edge(a, b + N), G.add_edge(a + N, b), G.add_edge(b, a + N), G.add_edge(b + N, a);
			}