(p ^ q v r  s) v (t ^ ¬q)

(p ^q vr s) (t^¬q)

p^qvr s t ¬q

p^q r q

p q

¬{¬[pvq¬r v s] ↔ [r v ¬q  (t  s) ^ t]}

¬[pvq¬r v s] ↔ [r v ¬q  (t  s) ^ t]

¬[pvq¬r v s] [r v ¬q  (t  s) ^ t]

[pvq¬r v s] r v ¬q (t  s) ^ t]

pvq ¬rvs r ¬q (t s) t

p q ¬r s q t s