mantık ve önermeler

[pv(p^q)]^(rv(r^s)] önermesine denk olan önermeyi bulunuz

Şıkları yazarsan bulabiliriz galiba. Ama şıkları yazmazsan nasıl bulacağız.