В сегмент нужно включить пользователей, у которых активен хотя бы один из флагов: is_student = 1 или has_coupon = 1. Какое условие соответствует формулировке «хотя бы один»?

Условие A OR B истинно, если истинно A, или истинно B, или истинны оба. Это ровно соответствует «хотя бы один признак». AND отберёт только тех, у кого активны оба флага. NOT (A OR B) отберёт пользователей, у которых ни одного флага нет. Длинная конструкция с XOR-логикой соответствует «ровно один из флагов», а не «хотя бы один».