Is "(not A) or B" equivalent to "not(A and (not B))"?
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