¿Cómo puedo simplificar estas proposiciones de lógica?

A- (p y q) o (r o s)

B- [~p→~(p←→q)] o [ p y (p→q)→q]

C-(p→~q) y [(q→~p) o (q→~p)]

D- [(~q→~p) y ~(p→~q)] o (p→~q)

Psdt: use (y) y (o) en vez de los símbolos.