a "^" (b "v" c)