2-SAT

int main()
{
	int V=6;//六个顶点分别代表a、b、c、非a、非b、非c 
	add_edge(3,4);
	add_edge(1,0);
	add_edge(4,2);
	add_edge(5,1);
	add_edge(2,3);
	add_edge(0,5);
	scc();
	for(int i=0;i<3;i++)
	{
		if(cmp[i]==cmp[i+3])
			printf("NO");
			return 0;
	}
	printf("YES");
	for(int i=0;i<3;i++)
	{
		if(cmp[i]>cmp[i+3])
			printf("true");
		else printf("false");
	 } 
	return 0;
}