p->(q->s) q->(p->s) 如果等价改怎样证明.
问题描述:
p->(q->s) q->(p->s) 如果等价改怎样证明.
答
p->(q->s)
┐p∨(┐q∨s)
┐q∨(┐p∨s)
q->(p->s)