Como se resuelve esta tabla de verdad

[ ( m → p ) ^ ( m → s ) ^ ¬ ( m → ¬ m )] → ¬ ( s → ¬ p )