Is "(not A) or B" equivalent to "not(A and (not B))"?

Is "(not A) or B" equivalent to "not(A and (not B))"?

Problem Description:

I’m trying to specify conditions in an UI with limited capabilities.

I would like to say "(not A) or B" but that’s not possible.
Would "not(A and (not B))" be equivalent or is it equivalent to not(A or (not(B))?

Solution – 1

Check De Morgan’s law.

not(A and not(B)) = (not(A)) or (not(not(B))) = not(A) or B

Rate this post
We use cookies in order to give you the best possible experience on our website. By continuing to use this site, you agree to our use of cookies.
Accept
Reject