It is not the case that Tom is not a cat and Jerry is not a mouse.

Translate each compound statement into symbolic form.
Given \(p\) : "Tom is a cat," \(q\) : "Jerry is a mouse," \(r\) : "Spike is a dog," \(s\) : "Tom chases Jerry," and \(t\) : "Spike catches Tom."