p(a or b)