For your posted first expression: not(a and notb)
Write it symbolically as ~(a ^ ~b) --> The character ^ means "and."
Then, given: notb which is ~b in symbolic form.
Show: nota which is ~a in symbolic form.
The task is to show that ~(a ^ ~b) implies ~a if given ~b.
~(a ^ ~b) ==> ~a V ~(~b) ==> ~a V b.
~a V b
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?