(not a) || (a & x)