ЛОЛ, в том то и дело что не логично. попробуй почитать про логические функции над множествами