Describing "at least" using logical connectives.

550 Views Asked by At

If s, j, and b are logical statements, how do I express the statement "s is true and at least one of the others is false"? Is it $s\wedge (\neg j \vee \neg b)$? But wouldn't there be a case for $\neg j \vee \neg b$ where it is false?

I was reading the answer to a similar question here, and they used the or connective only.