p且q是假 所以p,q其中一个是假
非q是假 所以q是真 p是假
非p且q 非p为真 q为真 所以为真