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?