b) ( ( P => Q ) ^ ( R => ~S ) ) => ( ( P V R ) => ( ) )
c) ( ( ~Q V ~R ) ^ ( P => ( Q ^ R ) ) ) =>
d) ~( P -> Q ) <=> ( P ^ )