>>807
それだとF(0,a,b,c)=F(1,a,b,c)=0のとき
x= not0 * 0 = 0
が解となってしまう
しかしx=0を与式に代入しても成立しない