p(a) | p(b)

