>>614
(*)に解が存在するとき(F(0,a,b,c),F(1,a,b,c),x)の取りうる組合せが
(F(0,a,b,c),F(1,a,b,c),x)=(0,1,1),(1,0,0),(1,1,don't care)しかないから
というかx=F(1,a,b,c)でも良い