andor

andor(i, j){Pi, ..., Pn}

True iff at least i, and at most j of the Pi are True

Previous slide

Next slide

Back to first slide

View graphic version