Write the below two statements in symbolic form using the sy

Write the below two statements in symbolic form using the symbols ~, ^, v and the indicated letters to represent component statements.

Let h = \"John is healthy\", w = \"John is wise\", and q = \"John is quick\".

A) John is not healthy but he is wise and quick.

B) John is wise but he is not both healthy and quick.

C) John is neither healthy, wise, nor quick.

D) John is either healthy or wise, but not quick.

Solution

A) ~h ^ (w ^ q)

B)w ^ ~(h V q)

C)~(h V w V q)

D) (h V w) ^ ~q

Note:

~(A V B)=~A ^ ~B