问题描述
解决方案
q->p
!(q & !p)
!q | p
p->(q->p)
!p | !q | p
!q
p->q
!p | q
!(p->(p->q))
(!p | !p | q)
!q
左右都是!q
时间: 2024-09-13 10:35:06
q->p
!(q & !p)
!q | p
p->(q->p)
!p | !q | p
!q
p->q
!p | q
!(p->(p->q))
(!p | !p | q)
!q
左右都是!q