Let p : Kiran passed the examination, q : Kiran is sad The symbolic form of a statement "It is not true that Kiran passed therefore he is sad' is