a|b^c