SOLUTION: Write in symbolic form using p,q,r,~,->,v,^, where p,q,r represent the following statements. p: A dog is friendly q: A dog has a tail r: A dog licks faces a. If a dog has a

Algebra ->  Conjunction -> SOLUTION: Write in symbolic form using p,q,r,~,->,v,^, where p,q,r represent the following statements. p: A dog is friendly q: A dog has a tail r: A dog licks faces a. If a dog has a      Log On


   

Question 192807: Write in symbolic form using p,q,r,~,->,v,^, where p,q,r represent the following statements.
p: A dog is friendly
q: A dog has a tail
r: A dog licks faces
a. If a dog has a tail, then it is not friendly
b. If a dog is not friendly, then it does not lick faces.
c. If a dog has a long tail, then either the dog is friendly or the dog lick faces.
d. If a dog licks faces, then the dog is friendly and the dog has a long tail.

For question a I got q->~p
b: ~p->~r
c:
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!

Your answers to a. and b. are correct. The problem you have with c. is that you don't have a statement variable definition for "a dog has a long tail" Your choices are to assume that if a dog has a long tail, then it certainly has a tail and use q as your variable, or to define a new variable.

s: A dog has a long tail.

So your answer, depending on your choice above is:


or



d. Same problem, so:



or





John