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

~b

Secure Information

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?

Sign Up