컴공 논리합 변경

[dd(220.81)]

~( P & Q ) & ( P v Q )

~(P V ~Q ) & ( R -> S )

P -> ((Q & R ) <-> S )

어떻게 해야함?