~(((~a)&b)^((~b)|c)^a)