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