>>605
x = not F(0,a,b,c) * F(1,a,b,c)で良いんでないの