a&b^c