对于每一个线，把它看成一个点，对于相交的线x,y，建立合取式(x v y)^(~x v ~y),也就是说，如果1表示在圈内，
0表示在圈外，那么这个合取式为真的情况只有两条先分别一个在圈内，一个在圈外。于是就对所有的线判断相交然后添加合取式，
最后判断是否矛盾就可以了。