大家好！我有推理形式新证明与大家分享！定义如下：非：！；并且：&；或者：v;如果-那么：—>；只有—才：<—；当且仅当：<—>。（(（a->b）&（c->d）&(avc))->(bvd))<->(！（a->b）v!(c->d）v!(avc)v(bvd))<->(a&!bvc&!dv!a&!cvbvd)<->((bv!b&a)v(dv!d&c)v(!a&!c))<->（bvavdv(cv!c&!a））<->((av!a)vbvcvd)<->(1vbvcvd)<->1  归1得证！