只能证明结论为~O

　　1、由N->M,~M,运用充分条件推理的否定后件式,可得：~N；

　　2、由~N,~M,运用联言推理的组合式,可得：~M·~N；

　　3、由~M·~N,(~M·~N)->(O->N),运用充分条件推理的肯定前件式,可得：O->N；

　　4、由O->N,~N,运用充分条件推理的否定后件式,可得：~O.