Tom is a cat and Spike is a dog, or 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."