Consider the two statements P: He is intelligent and Q: He is strong. Then the symbolic form of the statement "It is not true that he is intelligent or strong" is
∼(P ∨ Q)
P: He is intelligent
Q: He is strong
P ∨ Q: He is intelligent or strong
~(P ∨ Q): It is not true that he is intelligent or strong